ある数学的構造を持つ二つの集合 "a", "b" の間に準同型写像が存在するとき、"a" と "b" とは準同型であるといい、さらに同型写像が存在するとき同型であるという。