successor function (Q1478): Difference between revisions

Latest revision as of 20:21, 31 January 2023

elementary operation on a natural number

Language	Label	Description	Also known as
English	successor function	elementary operation on a natural number	successor successor operation increment

0 references

0 references

0

0 references

@@ Property / instance of @@
+elementary function
@@ Property / instance of: elementary function / rank @@
+Normal rank
@@ Property / instance of @@
+self-mapping
@@ Property / instance of: self-mapping / rank @@
+Normal rank
@@ Property / instance of @@
+hyperoperation
@@ Property / instance of: hyperoperation / rank @@
+Normal rank
@@ Property / instance of: hyperoperation / qualifier @@
+series ordinal: 0
@@ Property / instance of: hyperoperation / qualifier @@
+followed by: addition