掛け算とはなんらかの群によって定義される演算のことですね