subsingleton

Processing math: 100%

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