Los puntos del plano proyectivo corresponden a líneas pasando por el origen y se simboliza por [x:x:x] al punto que es la clase de equivalencia de (x,x,x).