Source: cirosantilli/algebraic-structure
= Algebraic structure
{wiki}
A <set (mathematics)> $S$ plus any number of functions $f_i : S \times S \to S$, such that each $f_i$ satisfies some properties of choice.
Key examples:
* <group>: one function
* <field (mathematics)>: two functions
* <ring (mathematics)>: also two functions, but with less restrictive properties