 Algebraic partially ordered set

A partially ordered set in which the compact elements below each element form a directed set with that element as their least upper bound.