すなわちφ:U→U′,{\displaystyle\varphi\colonU\toU',}ψ:V→V′{\displaystyle\psi\colonV\toV'}である。
可作为替代，它是w∗:W→K{\displaystylew^{*}\colonW\toK}与v:K→V{\displaystylev\colonK\toV}的复合。