Formalmente, un espacio prehilbertiano es un espacio vectorial "V" sobre un cuerpo K (Puede ser formula_7 o formula_8), el cual posee una operación definida con la siguiente función: