代数学によく登場する「同一視」というのがイマイチ理解できません。
例えば、整数環Ｚの商体である有理数体Ｑの構成の時、ＺからＱへの単射準同型が構成できるわけですが、
その単射をｉとするとき、i(Ｚ)とＺを自然に同一視してＺをＱの部分環とみなす、
という論法が登場しますが、i(Ｚ)とＺは集合として異なるはずなのに、
なぜ同一視などという強引な手法が許されるのか、分かりません。
誰か納得いく説明をしてくださる方、いませんか？