Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap


You are here: irt.org | FOLDOC | 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).


Nearby terms: incantation « include « include war « inclusive » incomparable » incremental analysis » incremental backup

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb