Suppose we have a surjective homomorphism and suppose

(*)

holds in R. Then (*) holds in R' as well. Indeed, fix any . Since is surjective, there exists an such that . By (*), for some , so , as required.

Since (*) is true in but false in , there is no surjective homomorphism from to .