Specifically, one may define CP to be the space consisting of all complex lines in C, i.e., the quotient of C \{0} by the equivalence relation relating all complex multiples of each point together. This agrees with the quotient by the diagonal group action of the multiplicative group C = C \ {0}: