You are here: irt.org | FOLDOC | algebraic
<theory> In domain theory, a complete partial order is algebraic if every element is the least upper bound of some chain of compact elements. If the set of compact elements is countable it is called omega-algebraic.
[Significance?]
(1995-04-25)
Nearby terms: Alfl « algebra « ALGEBRAIC « algebraic » Algebraic Compiler and Translator » algebraic data type » Algebraic Interpretive Dialogue
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