dictionary help| inclusive | computing dictionary |
<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).
(01 Feb 1995)
inclusion conjunctivitis viruses, inclusion cyst, inclusion dermoid < Prev | Next > inclusive, incoercible, incognita
Bookmark with:      | word visualiser | Go and visit our forums  |
| inclusive | medical dictionary |
Including something, including much or all.
(11 Mar 2008)
inclusion conjunctivitis viruses, inclusion cyst, inclusion dermoid, inclusive < Prev | Next > incoercible, incognita, incoherent
|
Bookmark with: | word visualiser | Go and visit our forums |
