A binary operation * on a set of real numbers is a rule that combines any two real numbers a and b to give a real number.