Published on

The Empty Set Has Only One Subset

Authors
  • avatar
    Name
    hwahyeon
    Twitter

The empty set (∅) is a set with no elements and is a subset of every set. In particular, it is also a subset of itself.

By definition, a set AA is a subset of another set BB if all elements of AA are also elements of BB. Since the empty set has no elements, this condition is always satisfied for any set. Therefore, the empty set is a subset of itself.

However, the empty set cannot have any subset other than itself. To be a subset of the empty set, a set must contain only elements that are in the empty set—but there are no such elements. Thus, the empty set has exactly one subset: itself.