Antisymmetric Relation
1. Спершу визначимо, що таке відношення.
2. Відношення \(R\) на множині \(A\) є множиною впорядкованих пар елементів \(A\).
3. Відношення \(R\) називається антисиметричним, якщо для будь-яких \(a, b \in A\), якщо \((a, b) \in R\) та \((b, a) \in R\), то \(a = b\).
4. Інтуїтивно, це означає, що якщо два різні елементи пов'язані у обох напрямках, таке не допускається.
5. Наприклад, відношення \(\leq\) (менше або рівне) на множині чисел є антисиметричним, оскільки \(a \leq b\) і \(b \leq a\) означає, що \(a = b\).
6. Отже, антисиметричність означає відсутність пар різних елементів, які пов'язані у обох напрямках.