Category:Definitions/Hilbert Spaces