Before this, Isham considers creating a monoid out of all the self-adjoint operators, but noticed that is not a sub-monoid of monoid of all bounded operators because the product of self-adjoint is not always self-adjoint. A way around this is to define a new product, as is done to create Jordan algebras, so one might be able to follow this path.

]]>