Ontify
Inner product space that is metrically complete; a Banach space whose norm induces an inner product (follows the parallelogram identity).