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