Finally, take the completion under this inner product.
Finalmente, tomamos completación deste produto interno.