In mathematics, the successor function or successor operation sends a natural number to the next one.
