Subsingleton

Collection

definiendum $u$ in it
for all $x,y\in u$
postulate $x=y$

Discussion

In classical (non-constructive) set theory, a subsingleton is the empty set or a singleton.

Reference

Parents

Requirements

Set universe