The empty set. It is the least element of the class universe, as empty_set_is_least shows. Having x ∈ ∅ means a contradiction, as empty_contra shows. According to empty_set_is_set, the empty set is a set.