Given a subset $\displaystyle S$ of $\displaystyle M(n),$ define its twin subset $\displaystyle S^*$ to be $\displaystyle S^*=S\cup\{-1\}$ if $\displaystyle -1\notin S$ and $\displaystyle S^*=S\setminus\{-1\}$ if $\displaystyle -1\in S.$ Then it is clear that the twin subset of $\displaystyle S^*$ is $\displaystyle S$ itself, that all the $\displaystyle 2^n$ subsets of $\displaystyle M(n)$ (provided $\displaystyle n\ne0)$ can be partitioned into $\displaystyle 2^{n-1}$ pairs of mutually twin subsets, and that if the product of all the elements of $\displaystyle S$ is $\displaystyle k$ then the product of all the elements of $\displaystyle S^*$ is $\displaystyle -k.$ Hence the answer to the problem is $\displaystyle 0.$