Cartesian Product of Monoids