boundedly complete

boundedly complete

In domain theory, a complete partial order is boundedlycomplete if every bounded subset has a least upper bound.Also called consistently complete.