Es seien p 1 : E 1 → X 1 , p 1 : E 2 → X 2 {\displaystyle {}p_{1}\colon E_{1}\to X_{1},p_{1}\colon E_{2}\to X_{2}} Überlagerungen. Dann ist auch die Abbildung
eine Überlagerung. Ist X 1 = X 2 = X {\displaystyle {}X_{1}=X_{2}=X} so ist auch die Abbildung
eine Überlagerung.