Transformation of a d-dimensional projective space that maps subspaces of dimension k to subspaces of dimension d − k − 1, reversing inclusion and preserving incidence.