ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F7752 on D5042: Trioton set
F7752
Formulation 0
A D11: Set $X$ is a trioton set if and only if \begin{equation} |X| = 3 \end{equation}