Description: Define the class of all subcomplex Hilbert spaces. A subcomplex Hilbert
space is a Banach space which is also an inner product space over a
subfield of the field of complex numbers closed under square roots of
nonnegative reals. (Contributed by Steve Rodriguez, 28-Apr-2007)