Es seien p 1 : Y 1 → X 1 {\displaystyle {}p_{1}\colon Y_{1}\rightarrow X_{1}} und p 2 : Y 2 → X 2 {\displaystyle {}p_{2}\colon Y_{2}\rightarrow X_{2}} Überlagerungen. Zeige, dass auch
eine Überlagerung ist.