Partielle Ordnung

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
Eine binäre Relation auf einer Menge, die reflexiv, antisymmetrisch und transitiv ist; eine solche Relation strukturiert die Elemente zu einer teilweise geordneten Menge (Poset), in der manche Paare unvergleichbar sind.