successor function

elementary operation on a natural number

Categorieën: