Esta afirmación determina completamente la estructura de conjunto de cada ordinal en términos de otros ordinales.