consistently complete
[
domain theory
]
boundedly complete
.