upward directed set

Eine nichtleere Menge \(X\) ist nach unten gerichtet, falls eine Relation \(\leq\) existiert mit folgenden Eigenschaften:

• \(\leq\) ist eine reflexive Relation
• \(\leq\) ist eine transitive Relation

• für \(x_1,x_2 \in X\) existiert ein \(x' \in X\) mit \(x_1,x_2 \leq x'\)