>>267

f = (Γ, X, Y) を写像と定義しています。