Perpendicularidad

Si dos rectas al cortarse forman ángulos adyacentes congruentes, son perpendiculares.

Por analogía, si dos planos al cortarse forman ángulos diedros adyacentes congruentes, son perpendiculares.

Los lados de un ángulo diedro y sus semiplanos opuestos determinan dos planos perpendiculares.

Para todas las rectas perpendiculares del plano se cumple lo siguiente.

Por lo tanto, en Geometría euclidiana, cualquier par de líneas que son perpendiculares a una tercera línea son paralelas entre sí, debido al quinto postulado de Euclides.