Universal Set
In set theory, a universal set is a set that contains every object under consideration within a particular mathematical context. It is usually denoted by the symbol U. $$ U = \{ A, B, C, \ldots \} $$
Why the Universal Set Creates Problems
At first glance, the idea of a universal set seems straightforward. If sets can contain other sets, why not define a set that contains them all?
The problem is that this seemingly simple idea can lead to logical contradictions.
A classic way to understand the issue is through Russell's barber paradox.
-
In a town, there is a barber who shaves all and only those people who do not shave themselves.
- If the barber shaves himself, then he should not shave himself.
- If the barber does not shave himself, then he should shave himself.
Who shaves the barber?
Either answer contradicts the original rule.
A similar contradiction appears when we ask whether the universal set belongs to itself.
If the universal set contains every set, then two possibilities arise:
- If U ∈ U, then U is one of its own elements.
- If U ∉ U, then, since U contains every set, it should still contain itself.
In both cases, the reasoning leads to a contradiction.
Note. The symbol ∈ denotes membership, while ⊆ denotes the subset relation. Since the elements of the universal set are themselves sets, it is correct to write A ∈ U. On the other hand, A ⊆ U means that every element of A belongs to U.
Russell's Paradox
The problem becomes even clearer with Russell's paradox.
Consider the set S consisting of all sets that do not contain themselves:
$$ S = \{ X \mid X \notin X \} $$
Now ask whether S belongs to itself.
- If S ∈ S, then by definition S should not contain itself.
- If S ∉ S, then by definition S should contain itself.
Whichever answer you choose, you immediately arrive at a contradiction.
This paradox played a crucial role in the development of modern set theory because it revealed that some seemingly intuitive definitions can lead to inconsistencies.
How Modern Set Theory Avoids the Contradiction
Modern axiomatic set theories, such as Zermelo-Fraenkel set theory, avoid these paradoxes by rejecting the idea of a universal set that contains every possible set.
In elementary mathematics, however, the symbol U is still widely used to represent a universal set in a more practical sense.
Rather than containing all conceivable sets, U is understood as the collection of all objects relevant to a specific discussion or problem.
By restricting the scope in this way, the contradictions associated with a truly universal set are avoided.
