Partiell Geordnete Menge

Natural & Formal Sciences Dictionary
Eine Menge mit einer binären Relation ≤, die reflexiv (x ≤ x), antisymmetrisch (x ≤ y und y ≤ x implizieren x = y) und transitiv (x ≤ y und y ≤ z implizieren x ≤ z) ist; nicht jedes Paar von Elementen muss vergleichbar sein.