Projection f from set A to set B is AxB subset defined as $f=\{(|a>,|b>)\in A\times B:\forall |a>\in A\exists _{1}|b>\in B\}$
and notation $f(|a>)=|b>$ is used.

Body of numbers T is defined as $T=\{c\in \mathbb {C} :(\exists c_{1},c_{2})(c_{1}\neq c_{2})\wedge (\forall c_{1},c_{2})(\exists c_{3}=c_{1}+c_{2}\wedge \exists c_{4}=c_{1}.c_{2}\wedge \exists c_{5}=-c_{1}\wedge \exists 0\neq c_{6}=c_{1}^{-1})\}$