In mathematics, the empty set is the unique set having no elements; its size or cardinality is zero.
Some axiomatic set theories ensure that the empty set exists by including an axiom of empty set, while in other theories, its existence can be deduced.
Empty set is, in fact, a subset of every set, including itself, because the definition of a subset allows the empty set to be considered a subset of any set.
The intersection of the empty set with any set is always the empty set, making statements about it true.