inclusion

n 1: the state of being included [ant: {exclusion}]

2: the relation of comprising something; "he admired the

inclusion of so many ideas in such a short work" [syn: {comprehension}]

3: an small intracellular body found within another

(characteristic of certain diseases); "an inclusion in the

cytoplasm of the cell" [syn: {inclusion body}]

4: the act of including

inclusive

In {domain theory}, a {predicate} P : D -> Bool is

inclusive iff

For any {chain} C, a subset of D, and

for all c in C,

P(c) ◦> P(lub C)

In other words, if the predicate holds for all elements of an

increasing sequence then it holds for their {least upper

bound}.

("lub is written in {LaTeX} as {\sqcup}).

(1995-02-03)