In this course we build and define basic structures that rely on sets and binary operations. We start with systems, defined with one binary operation and move on to systems with two binary operations. The course will be taking a formal approach containing definitions, theorems, lemmas and proofs. Examples will be interspersed throughout.