The base case is actually a special case of the induction rule, with 0 taken as a label for the "least ordinal". |
Базовый случай на самом деле является частным случаем правила индукции, причем 0 является меткой «наименьшего порядкового числа». |
In particular, the rank of the empty set is zero, and every ordinal has a rank equal to itself. |
В частности, ранг пустого множества равен нулю, а ранг любого порядкового числа равен ему самому. |
Any ordinal is defined by the set of ordinals that precede it: in fact, the most common definition of ordinals identifies each ordinal as the set of ordinals that precede it. |
Любое порядковое число определяется множеством предшествующих ординалов: фактически наиболее распространенное определение порядкового числа отождествляет его со множеством предшествующих ординалов. |