complex projective line

Short definition from Wiktionary

Noun

1. 1
   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 λ".