Ваша беда в том, что Вы застряли где-то между неолитом и средневековьем. На дворе 21 век. Операции уже давно не вводятся как обратные. Они задаются как набор неких правил. Если хотите, аксиом.
Например, в алгебре колёс - Wheel theory - Wikipedia
Деление определяется как унарная операция, а не бинарая:
Wheels replace the usual division as a binary operator with multiplication, with a unary operator applied to one argument
similar (but not identical) to the multiplicative inverse
, such that
becomes shorthand for
, and modifies the rules of algebra such that
Вычитание определяется тоже через унарную операцию:
If there is an element
such that
, then we may define negation by
and
.
Например, в алгебре колёс - Wheel theory - Wikipedia
Деление определяется как унарная операция, а не бинарая:
Wheels replace the usual division as a binary operator with multiplication, with a unary operator applied to one argument
in the general case
- ...
Вычитание определяется тоже через унарную операцию:
If there is an element
Комментарий