定義域も値域も固定して、等号を細分化する
概念は数学に有りますか?