同构的定义