Mathématiques, informatique, politique et poésie
Une relation d'ordre \(\leq\) sur un ensemble est une relation binaire interne réfléxive, antisymétrique et transitive.
Un ensemble muni d'une relation d'ordre est dit ensemble ordonné.
