Du könntest auch schreiben
wächst streng monoton, wenn x0 < x1 impliziert, dass f(x0) < f(x1) gilt.
Der Strich dient also nur eine weitere Variable zu definieren.
Viel Schöner fände ich wenn man schreibt:
wächst streng monoton, wenn a < b impliziert, dass f(a) < f(b) gilt.
Der Strich hat also keine weitere tiefere Bedeutung.