>>6
あれが乗法の定義にみえますかね!?
性質でしょう