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)