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

The projective line is a fundamental concept in projective geometry, representing a way to extend the notion of lines to include "points at infinity".