A nonempty finite set of Matrices with Integer entries for which there exists some product of the Matrices in the set which is equal to the zero Matrix.