Para un poset\(P=(X,P)\) y un subconjunto\(S \subset X\), let\(D(S)=\{y \in X\): there exists some\(x \in S\) with\(y<x\) in\(P\)}. También, vamos\(D[S]=D(S) \cup S\). Dualmente, para un subconjunto\(...Para un poset\(P=(X,P)\) y un subconjunto\(S \subset X\), let\(D(S)=\{y \in X\): there exists some\(x \in S\) with\(y<x\) in\(P\)}. También, vamos\(D[S]=D(S) \cup S\). Dualmente, para un subconjunto\(S \subseteq X\), definimos\(U(S)=\{y \in X\): existe algunos\(x \in X\) con\(y>x\) in\(P\)}. Como antes, set\(U[S]=U(S) \cup S\).