したがって、x={g:X→Y∣g∼xf}{\displaystyle_{x}=\{g\colonX\toY\midg\sim_{x}f\}}である。
因此，kix=krx=ktx{\displaystylek_{ix}=k_{rx}=k_{tx}}、kiy=kry=kty{\displaystylek_{iy}=k_{ry}=k_{ty}}。