complete partial ordering

<theory> (cpo) A partial ordering of a set under a relation, where all directed subsets have a least upper bound. A cpo is usually defined to include a least element, bottom (David Schmidt calls this a pointed cpo). A cpo which is algebraic and boundedly complete is a (Scott) domain.

Last updated: 1994-11-30

Try this search on Wikipedia, OneLook, Google

Nearby terms: complete lattice « complete metric space « completeness « complete partial ordering » complete theory » complete unification » Complex Instruction Set Computer


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.