Algebraic Systems -- Definitions and Theorems You Need To Know