Singleton
Set
context
$ X $ … set
definition
$ \{X\} \equiv \{X,X\} $
Discussion
Reference
Wikipedia:
Singleton
Parents
Context*
Sets
Requirements
Unordered pair