VDict mobile



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)