#Def Отношение порядка ( ≤ ):
(P1) Рефлексивность: a≤a.
(P2) Антисимметричность: a≤b, b≤a ⇒ a=b.
(P3) Транзитивность: a≤b, b≤c ⇒ a≤c.
Отношения, обладающие свойствами P1-P3 называются отношениями частичного порядка.
Множества, на которых задано отношение частичного порядка, называются частично-упорядоченными (ч.у.множествами).
#решетки