Liczby nadrzeczywiste: Różnice pomiędzy wersjami

# W każdym etapie tworzone liczby nadrzeczywiste są parami zbiorów <math>(L,R)</math> liczb nadrzeczywistych utworzonych wcześniej, przy czym żadna liczba należąca do <math>L</math> nie jest większa lub równa żadnej liczbie należącej do <math>R</math> a wartość funkcji urodzinowej liczby <math>(L,R)</math> jest większa od wartości funkcji urodzinowej dla każdej liczby w <math>L</math> i <math>R.</math>

# Jeśli <math>x=(X_L,X_R)</math> i <math>y=(Y_L,Y_R)</math> reprezentują liczby nadrzeczywiste, to <math>x\leqslant y</math> wtedy i tylko wtedy, gdy

#::nie istnieje <math>x_L \in X_L</math>taki, że <math>x_L \geqslant y</math>

#::nie istnieje <math>y_R\in Y_R</math> taki, że <math>y_R \leqslant x</math>

#:Definicja ta odwołuje się zatem do porządku ustalonego we wcześniejszych krokach indukcji.