for m being Nat
for D being non empty set holds {} is Matrix of 0 ,m,D