Multiplicatively closed set

In abstract algebra, a multiplicatively closed set (or multiplicative set) is a subset S of a ring R such that the following two conditions hold:

In other words, S is closed under taking finite products, including the empty product 1. Equivalently, a multiplicative set is a submonoid of the multiplicative monoid of a ring.