Ordre Partiel

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Une relation binaire sur un ensemble qui est réflexive, antisymétrique et transitive ; elle organise les éléments en un ensemble partiellement ordonné (poset) où certaines paires peuvent être incomparables.