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

Last updated: 1995-04-25

Nearby terms:

ALGEBRAICalgebraicAlgebraic Compiler and Translatoralgebraic data type

Try this search on Wikipedia, Wiktionary, Google, OneLook.



Not using Html Comment Box  yet?


Original text
Rate this translation
Your feedback will be used to help improve Google Translate