Multiplicatively closed subset