français
poset
Couple (X, ≤) où ≤ est un ordre partiel, c’est-à-dire une relation binaire sur X telle que :
Donnée du Wiktionnaire, non revue
En bref
De l’anglais poset.
Composé à partir des relations enregistrées, sans reformuler le texte du Wiktionnaire
Confiance : Une seule source — Une seule source l’affirme, sans verdict ; pour une fiche, au moins un de ses parents directs est dans ce cas. les quatre niveaux
Histoire
Ascendance
Reconstituée depuis les relations enregistrées, sans reformuler le texte du Wiktionnaire
une seule source
- anglais poset — d’après le Wiktionnaire ; une seule source
Origine : anglais → voir les 8 174 mots français venus de l’anglais
Le Wiktionnaire
Texte de l’article du Wiktionnaire, cité tel quel
De l’anglais poset, partially ordered set (« ensemble partiellement ordonné »). Utilisé la première fois par Birkhoff dans son livre Lattice theory (1940).
Wiktionnaire, article « poset » — CC BY-SA
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.
voir l’autre sens
- 4 ≤ est transitive : x ≤ y et y ≤ z impliquent x ≤ z pour tout x, y et z de X;
Descendance
Mots formés à partir de poset
Aucun mot dérivé dans les données.
Sources
Chercher dans : TLFi · FEW · Académie française (nouvel onglet) (Source : www.dictionnaire-academie.fr)