Relacja totalna
Z Wikipedii
Relacja totalna (relacja pełna) jest to relacja n-argumentowa taka, że .
Oznacza to, że dla każdych n elementów zachodzi , czyli są one ze sobą w relacji .
[edytuj] Własności
- Relacja totalna jest: zwrotna, symetryczna, spójna, przechodnia.
- Relacja totalna jest relacją równoważności o jednej klasie abstrakcji.
- Relacja totalna (o ile ) nie jest: przeciwzwrotna, antysymetryczna, przeciwsymetryczna.