合成
写像の合成