The best way to answer this is to find counterarguments for each answer to eliminate them as a possibility. ab doesn't have to be an integer, 2.5*3=7.5 . That's also not an imaginary number so that's out. And that's also not an irrational number so that's out too. Only choice left is rational number.
By definition, a rational number can be expressed as a fraction with integer values in the numerator and denominator (denominator not zero). So, multiplying two rationals is the same as multiplying two such fractions, which will result in another fraction of this same form since integers are closed under multiplication. Thus, multiplying two rational numbers produces another rational number.