Page "*-algebra" Paragraph 8

This is also called an involutive ring, involutory ring, and ring with involution.

Note, that the third axiom is actually redundant, because the second and fourth axioms imply is also an identity, and identities are unique.