もちろん、仕様が矛盾しないならば必ず「収束」するような計算の領域、すなわち、すべての有向集合が上限をもつような順序に興味をもつのが自然だろう。
自然的，你会特别感兴趣于在其中所有一致性规定都收敛的计算域，就是说，它有着所有有向集合都有一个最小上界的次序。