Rational number


THEOREM   

Rational addition is closed.

Proof available

THEOREM   

Rational multiplication is closed.

Proof available