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