ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Transitive set
Ordinal number
Cardinal number
Set cardinality
Singleton set
Definition D3835
Duoton set
Formulation 0
A D11: Set $X$ is a duoton set if and only if \begin{equation} |X| = 2 \end{equation}
Children
D5042: Trioton set