"a" から "b" への埋め込みは一般には一つに定まるとは限らない。