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)