has a supremum.

A related notion is that of ?-complete partial order (?-cpo). These are posets in which every ?-chain () has a supremum that belongs to the poset. The same notion can be extended to other cardinalities of chains.

Every dcpo is an ?-cpo, since every ?-chain is a directed set, but the converse is not true. However, every ?-cpo with a basis is also a dcpo (with the same basis). An

1.Previous
3.Next