Pointed complete partial order
= Pointed complete partial order
{title2=$\bot\leq x$}
A <directed-complete partial order> with a least element. Here directed suprema concern nonempty directed sets. Morphisms are <Scott continuous maps> and need not preserve the least element. Requiring strictness would change the category and its cartesian-closure argument.