group

A group is a set equipped with a single binary operation that is closed, associative, has an identity element, and in which every element has an inverse.

Instances (1)

• Abelian groups
  surface form: Abelian group