OptionaladdThe additive operation (e.g., for rings/fields)
OptionaladdThe additive identity element (e.g., for rings/fields)
OptionaladdThe function to compute additive inverses (e.g., for rings/fields)
OptionalidentityThe identity element (e.g., for groups/monoids)
OptionalinverterThe function to compute inverses (e.g., for groups)
OptionalmulThe multiplicative operation (e.g., for rings/fields)
OptionalmulThe multiplicative identity element (e.g., for rings/fields)
OptionalmulThe function to compute multiplicative inverses (e.g., for fields)
OptionaloperationThe binary operation (e.g., for groups/monoids)
The set of the structure
The type for algebraic structures.