| 1. | including the stated limit or extremes in consideration or account: from 6 to 37 inclusive. |
| 2. | including a great deal, or including everything concerned; comprehensive: an inclusive art form; an inclusive fee. |
| 3. | that includes; enclosing; embracing. |
| 4. | Grammar. (of the first person plural) including the person or persons spoken to, as we in Shall we dance? Compare exclusive (def. 12). |
| 5. | inclusive of, including; also taking into account: Europe, inclusive of the British Isles, is negotiating new trade agreements. |
inclusive theory
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)