# Empty set¶

In set theory, the empty set is a set with no elements.

## Backlinks¶

- Topic: Set Theory
- The singleton set
- Dual
- 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.

- The empty set in set theory corresponds to the