> universal set
But now you're talking about non-standard set theory[1] which is fine but you are kind of side-stepping the issue.
But now you're talking about non-standard set theory[1] which is fine but you are kind of side-stepping the issue.
If you define S to be S = {x in U: x not in x}, then it simply means S is not in U.