クラス関数 クラス F が関係であって を満たすならば、F はクラス関数であると言います。F が集合ならば単に関数と言います。関数の全体はクラスをなすので、これを Func で表します。また、F がクラス関数であることを で表します。ここで勘弁の為に記号 を…