RP2=S2∼,((x,y,z)∼(−x,−y,−z)) olduğundan f(−x,−y,−z)=f(x,y,z) sağlanıyorsa istenen ˜f tanımlanır. ˜f nin sürekli olduğunu göstermek için, RP2 üzerinde (yukarıdaki özdeşleştirme ile tanımlanan) bölüm topolojisi var olduğunu kullanmak gerekir. Bölüm topolojisinin tanımından da (f sürekli olduğu için) ˜f nin da sürekli olduğu kolayca görülecektir.