\left( x,y\right) \in \phi \Longrightarrow y\in \left\{ x-1, x, x+1\right\}