Zur Identität Id I : I → I {\displaystyle {}\operatorname {Id} _{I}\colon I\rightarrow I} gibt es eine Fortsetzung φ : B → I {\displaystyle {}\varphi \colon B\rightarrow I} . Diese vermittelt die Spaltung.