Algebra with Involution

Let $(R,0,+,-,*,\star)$ be a commutative Involutive Ring. An algebra with involution over $R$ is a (potentially non-associative) Algebra over a Ring $A$ equipped with an involution $(-)^{\dagger}:A\to A$ that satisfies the following law:

• $(r\cdot x)^{\dagger}=r^{\star}\cdot x^{\dagger}$.

References

• https://en.wikipedia.org/wiki/*-algebra