Order And Lattice Theory

← Back to Domain-Specific Abstractions by Domain

2 domain-specific abstractions whose origin domain is Order And Lattice Theory.

• Complete lattice — A partially ordered set in which every subset, including the empty set, has both a supremum and an infimum.
• Join and meet — The least upper bound and greatest lower bound, respectively, of a subset in a partially ordered set when those bounds exist.