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)