「同型である」というのは「濃度か等しい」のベクトル空間バージョンという考えでいいでしょうか…？