*-algebra

algebra equipped with an involution over a *-ring