Relacja zwrotna

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Relacja zwrotna to relacja, która zachodzi dla każdej pary postaci (x,x) \,. Relację dwuczłonową \varrho \subseteq 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 \subseteq X\times X nazywamy przeciwzwrotną, gdy:

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

Przykłady[edytuj | edytuj kod]

Bibliografia[edytuj | edytuj kod]

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

Zobacz też[edytuj | edytuj kod]