Polar space
In mathematics, in the field of geometry, a polar space of rank n (n ≥ 3), or projective index n − 1, consists of a set P, conventionally called the set of points, together with certain subsets of P, called subspaces, that satisfy these axioms: Every subspace is isomorphic to a projective space Pd(K) with −1 ≤ d ≤ (n − 1) and K a division ring. (That is, it is a Desarguesian projective geometry.) For each subspace the corresponding d is called its dimension.