You are here: irt.org | FOLDOC | ideal
<theory> In domain theory, a non-empty, downward closed
subset which is also closed under binary least upper bounds.
I.e. anything less than an element is also an element and the
least upper bound of any two elements is also an element.
Nearby terms: IDE « IDEA « IDEAL « ideal » Idealized CSP » Idealized Instruction Set » IDEF
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