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

Под **правой лупой** будем понимать алгебраическую систему $ {}^{} (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. $