实射影平面

real projective plane