Частково впорядкована множина
Матеріал з Вікіпедії — вільної енциклопедії.
Частково впорядкованою множиною називается модель (A; R ), бінарне відношення R якої задовольняє системі аксіом:
- aRa (рефлексивність)
- з aRb і bRa випливає a = b (антисиметричність);
- з aRb і bRc випливає aRc (транзитивність).