Formalmente, un espacio equipado de Hilbert consiste en el espacio de Hilbert "H", junto con un subespacio Φ que lleva una topología más fina, para la cual la inclusión natural o inyección canónica: