Definition:Inverse of Subset of Monoid