同値類を使わずに整数を構成したい

はじめに

タイトルの通りです．
同値類を使わずに整数を構成し，そのあとで何かしらの理論を展開するというわけではなく，ただ構成するだけの記事となっています．
$\mathbb{N}$の構成については触れませんが，0は含むものとします．

符号付き自然数

台集合

以下，$S:=\{m,p\}$とします．これは2点集合であればなんでもよく，$m,p$の具体的な姿には触れません．
また，${\mathbb{N}}_{>0}$で，0以外の自然数全体がなす集合を表すものとします．

略記

以下では必要に応じて，$n\in {\mathbb{N}}_{>0}$に対し
$$\begin{array}{rl}+n& :=(p,n)\\ -n& :=(m,n)\end{array}$$
を形式な表記として採用します．

符号・絶対値

$0$の符号は定義しません．

順序の導入

演算を定義するにあたって，順序が定義されていた方が便利なので，先に順序を定義してしまいます．以下では，$\le$を$\mathbb{N}$上の通常の順序とします．

符号が導入されている関係でかなり複雑です．

順序の公理を確かめればよいです．ここでは証明は省略します．

演算の導入

乗法

比較的定義が簡単な乗法からスタートします．

ここで，$\mathrm{sgn}{n}_1=\mathrm{sgn}{n}_2$や$\mathrm{sgn}{n}_1\ne \mathrm{sgn}{n}_2$という式は，$n_1,n_2$の符号が定義できるということも含んでいます．
以下では，${\times }^{\prime }(n_1,n_2)$を$n_1{\times }^{\prime }{n}_2$と書きます．
次の命題は明らかでしょう．

加法

乗法と違い，加法は面倒な定義となってしまいます．

場合分けが膨大ですね．
以下では，${+}^{\prime }(n_1,n_2)$を$n_1{+}^{\prime }{n}_2$と書きます．
次の命題は一部明らかでない点が含まれています．その部分だけ証明を行いましょう．

次の命題は明らかです．

時間があれば確かめてみてください．

減法

減法は加法を用いて簡単に定義できます．

符号付き自然数の代数構造

分配法則

加法と乗法が定義されたら，次に気になるのはこれらの相性です．

${\mathbb{N}}_s$と$\mathbb{Z}$の関係

このようにして，次が成立します．

${+}^{\prime }$の定義に従って準同型であることを示せばよいです．

おわりに

以上のようにして，同値類の概念を用いることなく整数を構成することができました．最初はこちらの方が種々の議論や定義が見やすく整理されると思っていましたが，実際に着手してみると加法の定義がかなりの曲者でした．素直に$\mathbb{N}\times \mathbb{N}$の商集合として定義していれば加法はかなり楽に定義できるので，結果としては符号付き自然数を経由する方が損です．

ご指摘等ありましたらコメントまでお願いします．