Отношение порядка: различия между версиями

[[Бинарное отношение]] <math>R</math> на [[множество|множестве]] <math>X</math> называется '''отношением нестрогого''' (рефлексивного) '''частичного порядка''' (или сокращённо '''отношением порядка'''), если имеют место

* ''[[Рефлексивность]]'': <math>\forall x (xRx)</math>

* ''[[Антисимметричное отношение|Антисимметричность]]'': <math>\forall x \forall y (x R y \land y R x \Rightarrow x = y)</math>.