The norm-completion of E , still denoted by E , is said to be a Hilbert A -module or a Hilbert C*-module over the C*-algebra A . The Cauchy–Schwarz inequality implies the inner product is jointly continuous in norm and can therefore be extended to the completion.