let f a a be a ring homomorphism if b is a subring of a then f b f x x b is a subring of a