Relacja zwrotna

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Relacja zwrotnarelacja, która zachodzi dla każdej pary postaci (x,x) \,.

Relację dwuczłonową \varrho \subseteq X\times X nazywa się zwrotną, gdy:

\forall_{x \in X}\; (x \ \varrho\ x) .

Relacja przeciwzwrotna – relacja, która nie zachodzi dla żadnej pary uporządkowanej postaci (x,x) \,.

Relację dwuczłonową \varrho \subseteq X\times X nazywa się przeciwzwrotną, gdy:

\forall_{x \in X}\ \lnot (x \ \varrho\ x) .

Przykłady[edytuj]

Zobacz też[edytuj]

Bibliografia[edytuj]

  • Wojciech Guzicki, Piotr Zakrzewski: Wykłady ze wstępu do matematyki. Wprowadzenie do teorii mnogości.. Warszawa: Wydawnictwo Naukowe PWN, 2005, s. 155.