Définition de poset | Babel Free

Définitions

1. Couple (X, ≤) où ≤ est un ordre partiel, c’est-à-dire une relation binaire sur X telle que :
2. ≤ est réflexive : x ≤ x pour tout x de X;
3. ≤ est antisymétrique : x ≤ y et y ≤ x impliquent x = y pour tout x et y de X.
4. ≤ est transitive : x ≤ y et y ≤ z impliquent x ≤ z pour tout x, y et z de X;

Niveau CECR