A Marot ring is any commutative ring with non-zero unity, where every regular ideal may be generated by regular elements.

Note. $\mathbb{Z}_m$ is trivially a Marot ring (see the entry ``regular ideal''); an integral domain is another example because it has no zero divisors.