Um plano [math]\alpha[/math] é perpendicular a um plano [math]\beta[/math] e [math]\alpha[/math] passa por uma reta r, perpendicular a [math]\beta[/math].
Se uma reta r é perpendicular a um plano [math]\beta[/math], por ela passam infinitos planos perpendiculares a [math]\beta[/math].
Se uma reta r não é perpendicular a um plano [math]\beta[/math], por ela passa um único plano [math]\alpha[/math] perpendicular a [math]\beta[/math].