successor function (Q1478): Difference between revisions
Jump to navigation
Jump to search
Created claim: instance of (P2): elementary function (Q1479) |
Created claim: instance of (P2): self-mapping (Q1481) |
||
| Property / instance of | |||
| Property / instance of: self-mapping / rank | |||
Normal rank | |||
Revision as of 20:20, 31 January 2023
elementary operation on a natural number
- successor
- successor operation
- increment
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | successor function |
elementary operation on a natural number |
|