出典:Wiktionary
出典:Wikipedia
出典:『Wikipedia』 (2011/06/02 08:14 UTC 版)
In mathematics, directed complete partial orders and complete partial orders are special classes of partially ordered sets. These orders, called dcpo and cpo 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.