The quotient of this space by the kernel of this seminorm is also required to be a Hilbert space in the usual sense.
Kvoten av detta rum av kärnan i denna seminorm krävs också för att vara ett Hilbertrum i vanlig mening.