ＤＥＦを集合としｆを集合ＤからＥへの関数､ｇをＥからＦへの関数とする

これは正しいか。正しければ証明を､正しくなければ反例を与えよ

お願いします