Definition:Basis (Hilbert Space)