Math Home
Set Theory

Universal Set

Definition: The universal set is the set of all elements under consideration.

Often times the universal set is hiding in the background. For example, consider the set \(\{1,2,3,4\}.\) The universal set may be the counting numbers \(\{1, 2, 3, \dots\},\) or all real numbers. So, it does not seem strange to say \(5 \not\in \{1, 2, 3, 4\}.\) However, what about my friend Joe? We could say Joe\(\not\in \{1, 2, 3, 4\},\) but we don't usually mix sets of people and sets of numbers this way.




It is also common to study certain universal sets in mathematics. The following are some common examples:

Empty Set

Definition: The Empty set is the set with no elements. It is written \(\emptyset\).

You could also write the empty set as \(\{\}\), but this is unusual.