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$