Consider the monoid of all maps from {1, ..., n} to itself. The set of invertible elements in this monoid is Sn, which is also a monoid.