[nom] Ensemble, au sens mathématique du terme, muni d’une relation d'ordre. Exemple: `La manière la plus simple pour exprimer cette situation sans ambiguïté est de considérer un `ensemble ordonné` comme un couple donné par un ensemble et une relation d'ordre définie sur cet ensemble.`