Przejdź do zawartości

Relacja pusta

Z Wikipedii, wolnej encyklopedii

Relacja pustarelacja, która nie zachodzi dla żadnego elementu zbioru, na którym jest rozpatrywana.

Definicja

[edytuj | edytuj kod]

Niech będą dowolnymi zbiorami oraz Relację -argumentową nazywa się pustą, jeżeli

Oznacza to, że nie istnieje taki element że zachodzi czyli żadna uporządkowana krotka -elementowa nie należy do relacji

Własności

[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. 153. ISBN 83-01-14415-7.