User blog comment:Syst3ms/A formal definition for UNOCF/@comment-35470197-20180728080043/@comment-35470197-20180728114945

> An example of such an expression?

I do not know. You state that there is no such an expression (and hence \(\psi\) is well-defined), right?

Well, what is the answer on the following question...?

> Anyway, is \(\ddots \kappa\) always greater than or equal to \(\kappa\), right? (If not, then it conflicts the limit rule.)