そりゃそうするのが X → M(X) が連続にする一番自然な方法だからでしょ？その定義において U_Z の引き戻しは X＼Z になる。ググっただけだから知らんけど。