ordre partiel

concept Relation binaire transitive, réflexive et antisymétrique, permettant de comparer des éléments, des ensembles

Aussi : relation d'ordre, ordre non strict