dedekind::category::IsMereologicalJoinBand Concept Reference

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

Concept definition

template<typename T, typename Join Sup>
concept dedekind::category::IsMereologicalJoinBand = 
    IsMereologicalJoinSemigroup<T, Join> && IsIdempotent<T, Join>

Detailed Description

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

Textbook term: this is the dual band-level fragment used in skew lattice formulations.