S=R∪{-∽,∽}とする。
a∈Sによってさだまる、Sを変数とし、Sを値とするつぎのような関数を考える。
∀x∈S,Aa(x)=x+a,Ma(x)=a*x,Da(x)=x/a
ただし定義域は右辺が存在する最大の集合とする。
Aa,Ma,Daそれぞれが全射であるか単射であるかを判定せよ。