Interface CommutativeSemigroup<T>
-
- Type Parameters:
T
- the type of elements of the underlying set.
- All Superinterfaces:
GrouplikeStructure<T>
,Magma<T>
,Semigroup<T>
,Structure<T>
- All Known Subinterfaces:
AbelianGroup<T>
,CommutativeMonoid<T>
- All Known Implementing Classes:
AbstractAbelianGroup
public interface CommutativeSemigroup<T> extends Semigroup<T>
The algebraic structure of a commutative semigroup, meaning that the operation of the semigroup is commutative and associative.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description CommutativeAssociativeOperation<T>
operation()
Has to return the binary operation (M x M = M) for this Magma.
-
-
-
Method Detail
-
operation
CommutativeAssociativeOperation<T> operation()
Description copied from interface:GrouplikeStructure
Has to return the binary operation (M x M = M) for this Magma.
-
-