User blog comment:P進大好きbot/Criterion of the Order-Preserving Property of FGH/@comment-11227630-20191102144819

I didn't remember how the non-order-preserving FS systems looked like. But your definition of FS have forced \(x[n]\) to be increasing over \(n\).