Metadata
Author: ParaCrawl Corpus
Data
English[en]
It can be shown by transfinite induction that every well-ordered set is order-isomorphic to exactly one of these ordinals, that is, there is an order preserving bijective function between them.
Finnish[fi]
Transfiniittisella induktiolla voidaan osoittaa, että jokainen hyvinjärjestetty joukko on järjestysisomorfinen täsmälleen yhden tällaisen ordinaalin kanssa, toisin sanoen niiden välillä on järjestyksen säilyttävä bijektiivinen kuvaus.