= の定義ですね。そもそも、射の合成をどう考えられてますかね?