Semigroup

Given a set S and an operation +, we say that (S, +) is a semigroup if it satisfies the following properties for any x, y, z ∈ S:

• Closure: x + y ∈ S
• Associativity: (x + y) + z = x + (y + z)

We also say that S forms a semigroup under +.

Examples of Semigroups

• Strings form a semigroup under concatenation.

Documentation Help

We’d love your help fleshing out this documentation! You can edit this page in your browser by clicking this link. These links might be helpful:

• Semigroup.scala
• SemigroupTest.scala