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-20200219145954

In Wikipedia, artice higher-order function, it is said:

a higher-order function is a function that does at least one of the following:
 * takes one or more functions as arguments (i.e. procedural parameters),
 * returns a function as its result.

Though I'm not sure, is it correct to call higher-order functions "second-order", "third-order", etc. Anyway, I think that it is unlikely to relate to Ωx, since Ω• ↰ α is a specific function, not a function variable.