Co to są relacje zwrotne i antysymetryczne?
Relacja zwrotna na zbiorze to relacja binarna, która obowiązuje dla każdego elementu zbioru. Innymi słowy, relacja zwrotna to taka, w której każdy element jest powiązany ze sobą, co oznacza dla wszystkich x ∈ A, (x,x) ∈ R. Mówi się, że relacja jest relacją antysymetryczną dla relacji binarnej R na zbiorze A, jeśli nie ma pary różnych lub niepodobnych elementów A, z których każdy jest powiązany przez R z drugim. W formalny sposób relacja R jest antysymetryczna, szczególnie jeśli dla wszystkich a i b w A, jeśli R(x, y) z x ≠ y, to R(y, x) nie może zachodzić, lub równoważnie, jeśli R ( x, y) i R(y, x), wtedy x = y.