Partially ordered set in which every element is the join of the directed set of approximating elements.