一方、準同型 "f" が単射であれば "a" は "b" にその構造まで込めて埋め込まれる。