Projective line

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 \}$.