This is a Hilbert space equipped over the field of real or complex values with the Euclidean inner product. It is only defined for the Vector concept, although one could imagine similar concepts for the Matrix concept.
For a vector, <x, y> is defined as the sum of conj( yi ) * xi.
The induced norm is ||x||2 is the square root of the sum of |xi|2