{\displaystyle A=\{(x,s(x))\,|\,x\in X\}}