0から始める数学(その12)

整数の引き算を、定義します。 同値類を使う意味も、確認します。