Si "S" es un subconjunto del espacio de Hilbert "H", definimos el conjunto de vectores ortogonales a "S"