noun Mathematics. a complete infinite-dimensional vector space on which an inner product is defined.