A nonempty set is a set containing one or more elements. Any set other than the empty set emptyset is therefore a nonempty set. Nonempty sets are sometimes also called nonvoid sets (Grätzer 1971, p. 6). A nonempty set containing a single element is called a singleton set.
SEE ALSO: