każdego istnieje takie, że (wynika to z definicji liczby Hartogsa, w przeciwnym razie bowiem istniałaby injekcja z w ). Niech zatem dla każdego liczba będzie najmniejszą liczbą porządkową o tej własności. Przy takim oznaczeniu funkcja określona jako jest injekcją prowadzącą na pewien podzbiór liczby porządkowej, więc można dobrze uporządkować zbiór za pomocą relacji .
Przypisy
Bibliografia
H