conclusive

adj 1: forming an end or termination; especially putting an end to

doubt or question; "conclusive proof"; "the evidence

is conclusive" [ant: {inconclusive}]

2: final and deciding; "the conclusive reason"

3: expressing finality with no implication of possible change;

"an absolute (or unequivocal) quarantee to respect the

nation's authority"; "inability to make a conclusive (or

unequivocal) refusal" [syn: {absolute}]

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)