Involutive monoid