8.4 模型抽象的同态性