Real projective space (${\mathbb{RP}}^n$)

Real projective space is the antipodal quotient ${\mathbb{RP}}^n=S^n/(x\sim -x)$.