<mathematics> In domain theory, a complete partial order is boundedly complete if every bounded subset has a least upper bound. Also called consistently complete.
[FOLDOC]
<2001-03-16>
Try this search on OneLook / Google