dedekind::category::IsMereologicalMeetSemigroup Concept Reference

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

Concept definition

template<typename T, typename Meet Inf>
concept dedekind::category::IsMereologicalMeetSemigroup = 
    IsMereologicalMeetMagma<T, Meet> && IsAssociative<T, Meet>

Detailed Description

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

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