formula_107から誘導される転入写像