$C^*$-modules Selfadjoint operator algebras (C*-algebras) mathematics