By definition, a rational number can be expressed as a fraction with integer values in the numerator and denominator (denominator not zero). So, adding two rationals is the same as adding two such fractions, which will result in another fraction of this same form since integers are closed under addition and multiplication. Thus, adding two rational numbers produces another rational number.
