Lukas' Notes

set-theory

Definition

Singleton

A singleton is a set with cardinality one. A set is a singleton precisely when there exists an object such that

The object is the unique element of : , while denotes the set that contains it. The element and its singleton must not be confused.