dedekind::category::IsMereologicalMeetBand Concept Reference

Non-commutative meet-like operation (associative + idempotent). More...

Concept definition

template<typename T, typename Meet Inf>
concept dedekind::category::IsMereologicalMeetBand = 
    IsMereologicalMeetSemigroup<T, Meet> && IsIdempotent<T, Meet>

Detailed Description

Non-commutative meet-like operation (associative + idempotent).

Textbook term: this is the band-level (possibly non-commutative) fragment underlying skew lattice formulations.