relation d’ordre
существительное
—
(Mathématiques) Relation binaire, réflexive, antisymétrique et transitive.
⋄ Une relation d’ordre dans un ensemble est une relation binaire dans cet ensemble qui permet de comparer ses éléments entre eux de manière cohérente.