Let A be a C*-algebra (not assumed to be commutative or unital), its involution denoted by ∗ ∗ . An inner-product A -module (or pre-Hilbert A -module) is a complex linear space E equipped with a compatible right A -module structure, together with a map