''c'' set two dimensional vectors plane various finite groups cyclic groups groups integers modulo ''n'' set theory branch logic technically branch algebra binary operations notion addition abstracted give ''binary operation'' say notion binary operation meaningless without set operation defined two elements ''a'' ''b'' set ''s'' ''a'' ''b'' another element set condition called closure
Formal science Mathematics Pure mathematics Algebra