complex projective line

A complex line (especially, the set of complex numbers regarded as such) endowed with a point at infinity (thus becoming a projective line); (more formally) the set of equivalence classes of ordered pairs (α, β) of complex numbers, not both zero, with respect to the equivalence relation "(α, β) ≡ (λα, λβ) for all nonzero complex λ".