## 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.