Y el símbolo "x"', finalmente, designa una función sobre "x" que devuelve al sucesor de "x".