Notice that this well-ordering can be defined within L itself by a formula of set theory with no parameters, only the free-variables x and y.
Παρατηρείται ότι αυτή η καλή διάταξη μπορεί να οριστεί μέσα στο ίδιο το L από έναν τύπο της θεωρίας συνόλων χωρίς καθόλου παραμέτρους, μόνο με τις ανεξάρτητες μεταβλητές x και y.