An -dimensional projective space over a field refers to an extension of -dimensional affine space such that parallel lines intersect at infinity.
This notion is axiomatized by the abstract projective space.
One way of constructing this is a Projectivization of a vector space,
which is the space of 1-dimensional subspaces (i.e. lines intersecting the origin) of the vector space.