ある数にある数の反数を足すことを「引く」といい、減法を以下のように定義する。