So will have exactly one successor, which for convenience we can call. 차례로 정확히 하나의 후계자를 갖게 되며, 이를 우리는 라고 부를 수 있습니다. Notice that the second condition in the definition itself refers to natural numbers, and hence involves selfreference.