8
правок
Изменения
Нет описания правки
|definition =
[[Бинарное отношение]] <tex>R</tex> на множестве <tex>X</tex> называется '''строгим отношением частичного порядка''', если оно обладает следующими свойствами:
* [[Рефлексивное отношение|Антирефлексивность]]: <tex>\forall a \in X: aRa - не выполняется</tex>- не выполняется.
* [[Симметричное отношение|Антисимметричность]]: <tex>\forall a, b \in X:</tex> если <tex>aRb</tex> и <tex>aRx</tex>, то <tex> a = b </tex>.
* [[Транзитивное отношение|Транзитивность]]: <tex>\forall a, b, c \in X:</tex> если <tex>aRb</tex> и <tex>bRc</tex>, то <tex>aRc</tex>.
