A
set S plus any number of functions
fi:S×S→S, such that each
fi satisfies some properties of choice.
Key examples:
- group: one function
- field: two functions
- ring: also two functions, but with less restrictive properties
New to topics? Read the docs here!