A mathematical system is a set with one or more binary operations defined on it. – A binary operation is a rule that assigns to 2 elements of a set a unique third element. ▪ If 5 and 7 belong to N and addition is the binary. operation then 12 Is the unique “answer.”