関数の等価性の1つの定義

関数空間B^Aに属する2つの関数f,gが等しいとは、

任意のa\in Aに対して、f(a)=g(a)となること

どれを入れても同じ結果が返ってくるような関数を「等しい」と定義している

このように別の仕方で定義されている複数の関数について「関数同士が等しい」をどのように定義するのか、という話をしている

例としてあまり良くないかもしれない