Let be the set of complex numbers. We define an equivalence relation on by
The set is a projective variety called the complex projective line.