The set of one-dimensional subspaces of a fixed finite-dimensional vector space V is known as projective space ; it may be used to formalize the idea of parallel lines intersecting at infinity. Grassmannians and flag manifolds generalize this by parametrizing linear subspaces of fixed dimension k and flags of subspaces, respectively.