Ensemble Partiellement Ordonné
Natural & Formal Sciences Dictionary
Définition
Un ensemble muni d'une relation binaire ≤ qui est réflexive (x ≤ x), antisymétrique (x ≤ y et y ≤ x impliquent x = y) et transitive (x ≤ y et y ≤ z impliquent x ≤ z) ; toutes les paires d'éléments ne sont pas nécessairement comparables.