The projective line over a field K may be identified with the union of K and a point, called the "point at infinity" and denoted by ∞ (see projective line).
In the study of collineations, the case of projective lines is special due to the small dimension.