Hilbert C*-module
complex module E over a C*-algebra A equipped with an A-sesquilinear and complex-sesquilinear map ⟨–,–⟩: E×E→A that is nonnegative nondegenerate and satisfies the Cauchy–Schwartz inequality
complex module E over a C*-algebra A equipped with an A-sesquilinear and complex-sesquilinear map ⟨–,–⟩: E×E→A that is nonnegative nondegenerate and satisfies the Cauchy–Schwartz inequality