Domain theory studies type of partially ordered sets, also known as domains.
Partial orders are relations characterised by the RAST property of being reflexive, anti-symmetric and transitive. They are often depicted by a <= sign.
A <= relation on a set of real numbers is clearly reflexive (a<=a) due to the allowance of equality. Antisymmetry implies equality if a<=b and b<=a (think of a Venn diagram of elements
A set with a partial order defined on it is called a poset.
The idea of domain theory is to use recursion to find successively better approximations to some desired object.
Partial orders are relations characterised by the RAST property of being reflexive, anti-symmetric and transitive. They are often depicted by a <= sign.
A <= relation on a set of real numbers is clearly reflexive (a<=a) due to the allowance of equality. Antisymmetry implies equality if a<=b and b<=a (think of a Venn diagram of elements
A set with a partial order defined on it is called a poset.
The idea of domain theory is to use recursion to find successively better approximations to some desired object.
No comments:
Post a Comment