K代数の準同型φ:K(S)→Lって
LがKを含んでいたらφはKについては恒等写像なんですか?
そう決めているだけ?