Monoids and Groups
An algebraic structure is a set together with one or more operations that combine elements. Abstracting away from what the elements are (numbers, strings, permutations, matrices) and keeping only the laws the operation obeys lets one theorem cover all of them.