A *-algebra A is a *-ring that is an associative algebra over a commutative *-ring R, with the * agreeing on .
Read more about *-algebra.