Email this page to a friend

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?]

< Previous Terms	Terms Containing algebraic	Next Terms >
Alexis ALF Alfl algebra ALGEBRAIC	20-GATE ACT ONE AID ALADIN ALF	algebraic data type Algebraic Interpretive Dialogue Algebraic Logic Functional language Algebraic Manipulation Package Algebraic Specification Language