Free monoid with involution

Summary