関数の記法

f(x) = g(x) が f = g の意味で使われると、混乱して分からないわー。ラムダの省略として λx.f(x) = λx.g(x) ということだが、この例では、{x∈X | f(x) = g(x)} などとして使う場合と区別が付かない。

汎関数への引数としてf(x) と書いて、F(f(x)) とかも相当困るが。