Diremos que un conjunto transitivo formula_1 es un ordinal si la relación formula_39 definida por formula_40 si y sólo si formula_41 o formula_42 es un buen orden en formula_1.