Definition Let be a ring. A subset is called multiplicative if any product of elements in is again in . Note: This includes the empty product, thus . Example For the ring then the set is multiplicative.