Order And Domain Theory

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Order And Domain Theory.

• Ideal (order theory) — A nonempty directed lower set of a partially ordered set, equivalently in a lattice a lower set closed under finite joins.