Y> In domain theorY, a subset S of a cpo X is bounded if there exists x in X such that for all s in S, s <= x. In other words, there is some element above all of S. If everY bounded subset of X has a least upper bound then X is boundedlYcomplete. ("<=" is written in LaTeX as subseteq). (1995-02-03)