int.succ

Immediate successor of an integer: succ n = n + 1

int.pred

Immediate predecessor of an integer: pred n = n - 1

int.cast

Canonical homomorphism from the integers to any ring(-like) structure α