incisive

adj 1: having or demonstrating ability to recognize or draw fine

distinctions; "an acute observer of politics and

politicians"; "incisive comments"; "icy knifelike

reasoning"; "as sharp and incisive as the stroke of a

fang"; "penetrating insight"; "frequent penetrative

observations" [syn: {acute}, {discriminating}, {keen},

{knifelike}, {penetrating}, {penetrative}, {piercing},

{sharp}]

2: very penetrating and clear and sharp in operation; "an

incisive mind"; "a keen intelligence"; "of sharp and

active intellect" [syn: {keen}, {sharp}]

3: suitable for cutting or piercing; "incisive teeth"; "the

piercing needle" [syn: {piercing}]

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)