Checks if a subset is a submonoid of a monoid.