Structs§
- Group
- A monoid with inverses.
- Groupoid
- A set equipped with an associative binary operation.
- Loop
- A quasigroup with identity
- Magma
- A set with an associated binary operation.
- Monoid
- A set equipped with an associative binary operation with identity.
- Quasigroup
- A set equipped with a cancellative binary operation.
- Unital
Magma - A set equipped with a binary operation and a specified identity element.