Definition:Matrix Direct Product