pounder

n : something weighing a given number of pounds; "the fisherman

caught a 10-pounder" or "their linemen are all

300-pounders"

bounded

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

boundedly {complete}.

("<◦" is written in {LaTeX} as {\subseteq}).

(1995-02-03)