Factor monoid