Complete partial order
= Complete partial order
{wiki}
A family of order-completeness notions used in semantics: in particular, a <directed-complete partial order> has every directed <join>, while a pointed one additionally has a least element. The precise completeness condition should be specified, since this terminology is not synonymous with <complete lattice>.