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 (href="module.php?name=Lexikon&file=search&eid=1&query=LaTeX">LaTeX omega). (1995-02-03)