Rational number
THEOREM
Rational addition is closed.
Proof available
THEOREM
Rational multiplication is closed.
Proof available