User blog comment:P進大好きbot/Criterion of the Order-Preserving Property of FGH/@comment-30846880-20191102055832/@comment-35470197-20191102062354

Exactly. I just modified the formula so that it can be applicable to a wider setting, but it is essentially equivalent to the riginal one.