Algebraic partially ordered set
= Algebraic partially ordered set
{title2=$x=\sup\{k:k\leq x,\ k\ll k\}$}
A <partially ordered set> in which the <compact elements> below each element form a <directed set> with that element as their <least upper bound>.