1. LogiqueEnsemble, au sens mathématique du terme, muni d’une relation d'ordre.Il en résulte que tout ensemble ordonné fini non vide admet au moins un élément maximal.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.