Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::IsMeetSemilattice Concept Referenceexport
module dedekind.category

A Semilattice used as the "meet" (greatest lower bound / ∧) half of a Lattice. In bool this is logical_and; in int it is min. More...

Concept definition

template<typename T, typename Op std::bit_and<>>
concept dedekind::category::IsMeetSemilattice = IsTotal<T, Op> && IsOrderMeetSemilattice<T, Op>
dedekind::category::IsMeetSemilattice
A Semilattice used as the "meet" (greatest lower bound / ∧) half of a Lattice. In bool this is logica...
Definition total.cppm:873
dedekind::category::IsOrderMeetSemilattice
Order-theoretic meet-semilattice as a commutative refinement.
Definition posetal.cppm:124
dedekind::category::IsTotal
The Master Safety Certificate for Level 0: is_total, as a concept.
Definition total.cppm:395

Detailed Description

A Semilattice used as the "meet" (greatest lower bound / ∧) half of a Lattice. In bool this is logical_and; in int it is min.