A set S is a multiplicative set if xy is in S whenever x and y both are in S.

Given a ring R, a multiplicative subset S of R is a multiplicative set such that 1 is in S.