Theorem

Universal set is the set of all elements.

It is denoted by or .

Remark

Notice that it is also the complement of the empty set.