Definition 0.1
An
H
-algebra is defined as a Hilbert space

equipped with an associative unital algebra structure and an antilinear involution

which is compatible with taking the adjoint of the operators on the Hilbert space for the left and right multiplication of

with itself (ref. [
1]).