Singleton (mathematics)

A singleton has the property that every function from it to any arbitrary set is injective. The only non-singleton set with this property is the empty set.

That is, 1 is the class of singletons. This is definition 52.01 (p.363 ibid.)