Description: The predicate "is a complex Hilbert space." A Hilbert space is a Banach
space which is also an inner product space, i.e. whose norm satisfies the
parallelogram law. (Contributed by Steve Rodriguez, 28-Apr-2007)(New usage is discouraged.)