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)