Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

It seems obvious to me that the statement is true. If you are looking at the elements that are not in the universal set, there are no elements left, thus you are left with the empty set.

However, when I try to prove it, I unpack the definition of U' down to: x∈U ^ x∉U

That's a contradiction. What can I do to prove this statement? Or did that contradiction just disprove the statement?

share|cite|improve this question
The definition of $U'$ is the set of x such that $x\in U$ and $x\notin U$. Since, obviously, as you say, no $x$ can satisfy such an absurdity, this set is empty. –  Andrés Caicedo Sep 24 '12 at 5:31

2 Answers 2

up vote 1 down vote accepted


Take complements both sides and use $(A')'=A$ which gives

(Ø')'$=U'\implies $ Ø$=U'$


Let $U'\neq \phi\implies \exists x\in U'\implies x\notin U$ which contradicts the definition of U(universal set)

share|cite|improve this answer
Thank you. That makes sense. Related question, what is the mathematical definition of the universal set? I know the definition in words. –  William Sep 24 '12 at 5:34
In set theory, a universal set is a set which contains all objects, including itself. see –  Aang Sep 24 '12 at 5:36
Under the most widely used axioms, there is no universal set. –  Shahab Sep 24 '12 at 5:39
@Shahab: That's right. Really, there is no point in discussing about $U'$ when there is no $U$ –  Aang Sep 24 '12 at 5:43
@William: In restricted contexts you can talk about complements (and the unoiversal set), e.g. when discussing real numbers, the irrationals are the complement of the rationals and the transcendentals are the complement of the algebraics. Then the universal set is just the set $\mathbb R$ of real numbers. However, then all your sets are sets of real numbers - you have intersections, unions (and complements) but for example no notion of power set. When you want to rather talk about prime numbres and composites, you'd choose a different "universal set", but in its most general sense, ... –  Hagen von Eitzen Sep 24 '12 at 6:28

The set $U$ cannot exist. If it did, you could select a subset $r$ of $U$ such that:

$\forall x (x\in r \leftrightarrow x\in U \wedge x \notin x)$

Applying the definition of $r$ to $r$ itself and we can obtain the contradiction:

$r\in r \wedge r\notin r$

Since $U$ cannot exist, $U'$ is undefined.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.