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

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

Concept definition

template<typename T, typename Meet Inf>
concept dedekind::category::IsCertifiedOrderMeetSemilattice = IsOrderMeetSemilattice<T, Meet>
dedekind::category::IsCertifiedOrderMeetSemilattice
Trait-certified meet-semilattice (associative + idempotent + commutative).
Definition posetal.cppm:133
dedekind::category::IsOrderMeetSemilattice
Order-theoretic meet-semilattice as a commutative refinement.
Definition posetal.cppm:124

Detailed Description

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