x\to\varphi(x)