(\forall p\in S)(\forall x\in \mathbb{R}^2)(\exists ! q\in S)\quad f_S(p,q)=x