Projective line (source code)

= Projective line
{wiki}

The projective line over a field $F$ is the set of one-dimensional subspaces of $F^2$ and may be identified with $F\cup\{\infty\}$.