(Or "consistently complete") In domain theory, acomplete partial order is boundedly complete if every boundedsubset has a least upper bound.