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