同构映射的逆映射以及同构映射的乘积仍是同构映射。