=====Правая Лупа=====

Под **правой лупой** будем понимать алгебраическую систему $(B,+,-,0)$ с
двумя частичными бинарными операциями $(+/-):B\times B_{0}\rightarrow B $, где
$B_{0}=B\backslash \{0\}$, и левым нейтральным элементом --- $0$, для которой
выполнены тождества:

1. $(\forall x\in B_{0})$ справедливо $0+x=x$, 

2. $(\forall x\in B), (\forall y\in B_{0})$ справедливы 
равенства $(x+y)-y=x$  и $(x-y)+y=x.$