dedekind::category::IsCommutativeSemigroup Concept Reference

An Associative Magma where the operation is also commutative. More...

Concept definition

template<typename T, typename Op>
concept dedekind::category::IsCommutativeSemigroup =  IsSemigroup<T, Op> && IsCommutative<T, Op>

Detailed Description

An Associative Magma where the operation is also commutative.

Extends IsSemigroup with the symmetry axiom: a ⊕ b = b ⊕ a.