ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F1024 on D135: Singleton set
F1024
Formulation 0
A D11: Set $X$ is a singleton set if and only if \begin{equation} |X| = 1 \end{equation}