User blog comment:Rgetar/Designation for the next element of a class above an ordinal and some rules for booster-base/@comment-35470197-20200219005322/@comment-32213734-20200219102556

Yes, it is a function, I meant class described as its image.

No, Ωx is value of Ω• ↰ α function in α, not the function itself. But if we do not fix α, then we can consider Ωx as function of α, where x itself is a function of α, that is Ωx(α).

I prefer to use inaccessibles with limits. To distinguish them sometimes I use "I" for inaccessibles and "I*" for inaccessibles with limits. But maybe I'll use only "I" and specify that I use only inaccessibles with limits.