Em termos de números inteiros ℤ, o antecessor de +4 é o número que vem imediatamente antes dele na sequência de inteiros, e o sucessor é o número que vem imediatamente depois.
Portanto:
Assim, em notação matemática: