< theory > In domain theory , a non-empty, downward closed subset which is also closed under binary least upper bounds . I.e. anything less than an element is also an element and the least upper bound of any two elements is also an element.
(1997-09-26)