Structs
A set equipped with an associative binary operation.
A set with an associated binary operation.
A set equipped with an associative binary operation with identity.
A set equipped with a cancellative binary operation.
A set equipped with a binary operation and a specified identity element.