Microsoft Store
 

Complete partial order


 

In mathematics, directed complete partial orders and complete partial orders are special classes of partially ordered sets. These orders, called dcpos and cpos for short, are characterized by particular completeness properties. Both dcpos and cpos are considered in domain theory and have major applications in theoretical computer science and denotational semantics.

Related Topics:
Mathematics - Partially ordered set - Completeness properties - Domain theory - Theoretical computer science - Denotational semantics

~ ~ ~ ~ ~ ~ ~ ~ ~ ~