Diremos que un conjunto formula_183 es un ordinal sucesor si existe un conjunto formula_184 de forma que formula_184 sea un ordinal y que formula_186.