§20.5 同态（homomorphism）与同构（isomorphism）