Mot : poset
Catégorie : N
Définition : < est transitif : x<y et yz impliquent x<z ;