Mot : poset
Catégorie : N
Définition : Paire (X,<) où < est un ordre partiel, c'est-à-dire une relation binaire sur X telle que
Domaine : Mathématiques