for D, E being non empty set
for M being Matrix of D
for L being Matrix of E st M = L holds
M @ = L @