Definition talk:B*-Algebra