English Computing Dictionary
◊ OMEGA-ALGEBRAIC
Omega-algebraic
In domain theory, a complete partial order is algebraic if
every element is the lub of some chain of compact elements.
If the set of compact elements is countable it is
omega-algebraic. Usually written with a Greek letter omega
({LaTeX} \omega).
(1995-02-03)