D'o plan prochectivo en ye Z 2 {\displaystyle \mathbb {Z} _{2}} O d'a botella de Klein en tien a presentación; ⟨ a , b : a b a = b ⟩ {\displaystyle \langle a,b:aba=b\rangle } y que corresponde a lo producto semidreito de Z {\displaystyle \mathbb {Z} } con Z {\displaystyle \mathbb {Z} } .