Untuk setiap \(x\in X\text{,}\) \((\overline f\circ p)(x)=\overline f([x])=f(x)\text{.}\) Jadi kedua fungsi sama.