Our main result can be formulated as follows: Consider the set of natural numbers in which the following relation is introduced: n1 precedes n2 (n1 ⪯ n2) if, for any continuous map of the real line into itself, the existence of a cycle of order n2 follows from the existence of a cycle of order n1. The following theorem is true:
Theorem. The introduced relation turns the set of natural numbers into an ordered set with the following ordering: