Ensemble Partiellement Ordonné

concept

ensemble muni d'une relation binaire transitive, antisymétrique et réflexive qui indique que pour certains couples d'éléments, l'un est plus petit que l'autre

Propriétés

p279_labels
ensemble préordonné

Catégories