Si S es un subespacio vectorial de M, el complemento ortogonal de S en M está formado por los vectores de M que son perpendiculares a todos los vectores de S.