Term: abstract algebra
Example: thank god we have abstract algebra to know integers are only a group under addition
Definition: doing something easy in the hardest possible way