yf(x)=f(xf(y))yf(x)=f(xf(y))yf(x)=f(xf(y)) に x=1x=1x=1 を代入し f(1)=1f(1)=1f(1)=1 を用いると、すべての y>0y>0y>0 に対して y=f(f(y))y=f(f(y))y=f(f(y)) が得られ、fff は対合である。