Let be a set on which a multiplication operation has been defined. A multiplicative subset of is a subset with the property that for every .