This is an old revision of the document!
A subsingleton is the empty set or a singleton.
Set universe