Dos subespacios se dicen ortogonales si cada vector de cualquiera de ellos es ortogonal a todos los vectores del otro.