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

A Semilattice used as the "join" (least upper bound / ∨) half of a Lattice. In bool this is logical_or; in int it is max. More...

Concept definition

template<typename T, typename Op std::bit_or<>>
concept dedekind::category::IsJoinSemilattice = IsTotal<T, Op> && IsOrderJoinSemilattice<T, Op>
dedekind::category::IsJoinSemilattice
A Semilattice used as the "join" (least upper bound / ∨) half of a Lattice. In bool this is logical_o...
Definition total.cppm:865
dedekind::category::IsOrderJoinSemilattice
Order-theoretic join-semilattice as a commutative refinement.
Definition posetal.cppm:152
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 "join" (least upper bound / ∨) half of a Lattice. In bool this is logical_or; in int it is max.