Here we have used the associative law or the cancellation law for multiplication, which are satisfied for natural Numbers, now we assume they are satisfied with fraction Numbers.

We then can verify the associative law and the commutative law for multiplication, and the uniqueness of the result of addition indicates the uniqueness and the cancellation law for multiplication.

Basic operation rules have been established, including addition, positive scalar multiplication, cancellation law for addition and so on.