У вас при переписывании, к сожалению, потерялся смысл.
Какой это смысл потерялся? Я сделал тупую текстовую подстановку + -> -, - ->+.
Процитированная фраза PAV в более строгой форме выглядит так:
Унарная операция "противоположный элемент", обозначаемая написанием знака минус перед аргументом, по определению переводит число в такое число, сумма которого с равна .
Должен сказать, что это не все, что подразумевается в формулировке PAV.
Моя версия:
Унарная операция "противоположный элемент", обозначаемая написанием знака плюс перед аргументом, по определению переводит число
в такое число, сумма которого с
равна
.
Ну и мое дополнение, которое не вошло в уточнение
tolstopuzа. То, что противоположный противоположного является исходным нужно записывать в операторной форме в виде
, где
- оператор взятия противоположного,
- тождественный оператор, и идет копозиция операторов. Тогда выражение
PAVа
в более полной форме запишеться
. Остается добавить, что в моей версии тождественный оператор обозначается значком
.