Definition: matrix with m rows and n columns over S
M is a m x n-matrix over S : <=> M: Nm x Nn -> S.
Matrix component M(<i, j>):