Eine Relation auf einer Menge ist symmetrisch, wenn für jedes Paar \((a, b)\), das in der Relation ist, auch das Paar \((b, a)\) in der Relation ist. Eine Relation ist antisymmetrisch, wenn für jedes Paar \((a, b)\) und \((b, a)\) in der Relation gilt, dass \(a = b\). Für eine Menge mit \(n\) Elementen gibt es \(n^2\) mögliche Paare \((a, b)\). Bei \(n = 12\) sind das also \(12^2 = 144\) Paare. Eine Relation kann sowohl symmetrisch als auch antisymmetrisch sein, wenn sie nur Paare der Form \((a, a)\) enthält, also nur die Diagonale der Menge. Das bedeutet, dass die Relation nur die Elemente \((a, a)\) für \(a \in \{1, 2, \ldots, 12\}\) enthalten kann. Es gibt 12 Elemente, also gibt es \(2^{12}\) Möglichkeiten, diese Paare zu wählen (entweder ist das Paar in der Relation oder nicht). Somit ist die Anzahl der Relationen auf 12, die sowohl symmetrisch als auch antisymmetrisch sind, \(2^{12} = 4096\).