In order theory, a continuous poset is a partially ordered set in which every element is the directed supremum of elements approximating it.