Definición de un plano proyectivo: una estructura que contiene puntos, rectas y planos, satisfaciendo propiedades de proyección.