General theory of $C^*$-algebras Selfadjoint operator algebras (C*-algebras) mathematics