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 4 and 4 belong to I and subtraction is the binary operation then 0 is the unique “answer.”
