Domain Theory

← Back to Domain-Specific Abstractions by Domain

2 domain-specific abstractions whose origin domain is Domain Theory.

• Formal ball — An ordered pair of a metric-space point and a nonnegative radius, ordered so one pair computationally approximates another; generalized formal balls allow negative radii.
• Lawson topology — The common refinement of the Scott topology and lower topology on a poset, combining approximation-sensitive opens with complements of principal upper sets.