f:{p,q,r}->{s,t,u}
f(p)=s
f(q)=t
f(r)=u

「関数の交点」なんてものはないし
↑のfではy=xなんて意味ない



f:{p,q,r}->{p,q,s}
f(p)=q
f(q)=p
f(r)=s