Omega-algebraic

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).

Nearby terms:
om « OMA « Omega « Omega-algebraic » Omega test » OMF » OMG