Suponga la teoría de conjuntos de Tarski-Grothendieck. Entonces los universos de Grothendieck forman una clase adecuada bien ordenada, por lo que podemos dejar denota el el universo de Grothendieck, donde es un ordinal.
¿Funciona la (clase adecuada) tener un nombre?
No creo que haya un nombre generalizado para esta función, porque de lo contrario alguien la habría respondido después de 4,5 años.
usuario820789