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