Relacja pusta
Z Wikipedii
Relacja pusta - jest to relacja n-elementowa, która nie zachodzi dla żadnej n-ki uporządkowanej (x1,...,xn). Zgodnie z formalną definicją relacji, relacja pusta jest to po prostu zbiór pusty.
[edytuj] Własności
Z ciekawych własności relacji pustej można wymienić:
- Relacja pusta jest podzbiorem każdego zbioru (czyli na każdym zbiorze można określić relację pustą).
- Relacja pusta jest: symetryczna, antysymetryczna, przeciwsymetryczna, przeciwzwrotna, przechodnia.
- Relacja pusta nie jest spójna i nie jest zwrotna, chyba że rozpatrujemy ją jako podzbiór zbioru pustego.
- Relacja pusta jest prawostronnie i lewostronnie jednoznaczna, a zatem jest funkcją (dokładniej - funkcją pustą).
