Let $A$ be a set on which a multiplication operation $\cdot:A\times A\longrightarrow A$ has been defined. A multiplicative subset of $A$ is a subset $S\subset A$ with the property that $s\cdot t\in S$ for every $s,t\in S$.