monoid with involution