ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F743 on D3835: Duoton set
F743
Formulation 0
A D11: Set $X$ is a duoton set if and only if \begin{equation} |X| = 2 \end{equation}