Empty set¶ In set theory, the empty set is a set with no elements. Backlinks¶ Topic: Set Theory the empty set The singleton set Its dual is the empty set. Dual Its dual is the empty set. The empty set and the void type The empty set in set theory corresponds to the Void type in type theory or to false in logic. There's also the 0-category in category theory.