"x" ≤ "f"("f"("y")).