§6.5 同构及同态(离散数学)