John, for each statement like this, I think you have one too many primes:

\[ x \le_X x' \textrm{ implies } f(x') \le_Y f(x') \]