Następnik liczby porządkowej: Różnice pomiędzy wersjami

Liczba <math>S(\alpha)\,</math> nazywana jest '''następnikiem''' <math>\alpha\,</math>.

Warto zauważyć, że <math>\alpha \in S\,(\alpha)</math> i równocześnie <math>\alpha \subset S(\alpha)\,</math>. Pojęcie to wykorzystuje się do konstrukcji [[aksjomat nieskończoności|zbiorów induktywnych]], a w konsekwecji np. w konstrukcji [[John von Neumann|von Neumanna]] [[Liczby naturalne|liczb naturalnych]].

* <math>S(\{&oslash;\emptyset\})=\{&oslash;\emptyset,\{&oslash;\emptyset\}\}\,</math>

* <math>S(\{&oslash;\emptyset,\{&oslash;\emptyset\}\})=\{&oslash;\emptyset,\{&oslash;\emptyset\},\{&oslash;\emptyset,\{&oslash;\emptyset\}\}\}\,</math>