Stage 1 for join-like algebra: magma + associativity. More...

Concept definition

template<typename T, typename Join Sup>
concept dedekind::category::IsMereologicalJoinSemigroup = 
    IsMereologicalJoinMagma<T, Join> && IsAssociative<T, Join>

Detailed Description

Stage 1 for join-like algebra: magma + associativity.

Maturation ladder in this partition: magma -> semigroup -> band -> skew lattice.