consistently complete

[domain theory] boundedly complete.