要素xが要素yよりもwaybelowであるとは、上限supDをもつ有向集合D各々に対して、y≤supDならば、各D中に要素dが存在し、x≤dとなることである。
元素x远低于元素y，如果对于所有有上确界y≤supD，的有向集合D，有某个D中的元素d使得x≤d。