ResPubID22842, inner product C∗-modules, inner product ∗-modules, Schwarz inequality, Grüss inequality, C∗-seminorms