Relacja zwrotna

Z Wikipedii

Skocz do: nawigacji, szukaj

Relacja zwrotna to relacja, która zachodzi dla każdej pary postaci (x,x) \,. Relację dwuczłonową \varrho \subset X\times X nazywamy zwrotną, gdy:

\forall x \in X: x \ \varrho\ x .

Relacja przeciwzwrotna to relacja, która nie zachodzi dla żadnej pary uporządkowanej postaci (x,x) \,. Relację dwuczłonową \varrho \subset X\times X nazywamy przeciwzwrotną, gdy:

\forall x \in X: \lnot (x \ \varrho\ x) .

[edytuj] Przykłady

[edytuj] Zobacz też