MDN is always a good reference to figure out what Spec something comes from: https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Set