for D being non empty set
for M being V3() Matrix of D holds
( 1 <= len M & 1 <= width M )