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

Trait-certified join-semilattice (associative + idempotent + commutative). More...

Concept definition

template<typename T, typename Join Sup>
concept dedekind::category::IsCertifiedOrderJoinSemilattice = IsOrderJoinSemilattice<T, Join>
dedekind::category::IsCertifiedOrderJoinSemilattice
Trait-certified join-semilattice (associative + idempotent + commutative).
Definition posetal.cppm:161
dedekind::category::IsOrderJoinSemilattice
Order-theoretic join-semilattice as a commutative refinement.
Definition posetal.cppm:152

Detailed Description

Trait-certified join-semilattice (associative + idempotent + commutative).