>>255
乗法が閉じていることは、実数の定義の一部だから、
公理により、自明。何も循環していない。

引き算は閉じていないが、減法は閉じている。
算数は、数学ではないからね。