この理論で重要な役割をはたす概念のひとつは、領域の有向部分集合(directedsubset)、すなわち、任意の2要素に対してその上界を持つような非空の部分集合である。
在这个理论中扮演重要角色的概念是一个域的有向子集，就是说在其中每两个元素都有某个上界的次序的非空子集。