Ordre Partiel

concept

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

Propriétés

p279_labels
pré-ordre, relation antisymétrique

Catégories