The product construction can be carried out with more than two monoids to get a direct product of several semi-groups.
For example, if we take M = (R,+,0), then the additive structure of the vector space Rn can be obtained as a direct product of n copies of M.