←|→が反数・逆数の逆元だと思ってるところから思い違い

亜数のアイデアが最初にあって、計算記号の変換=個数を表したいから|を導入した
|→が1つ上の計算層になるんだから、←|がただの逆元だと計算層下がらないでしょ
計算層を下げたり上げたりしたくて←|→を導入したのに、逆元なら意味ないだろ
亜数という、そもそものアイデアを表すための「個数の纏まりの階層の移動」を表すための記号
まずそっから理解してよ