Частково впорядкована множина

Матеріал з Вікіпедії — вільної енциклопедії.

Частково впорядкованою множиною називается модель (A; R ), бінарне відношення R якої задовольняє системі аксіом:

  1. aRa (рефлексивність)
  2. з aRb і bRa випливає a = b (антисиметричність);
  3. з aRb і bRc випливає aRc (транзитивність).
Іншими мовами