for D, E being non empty set
for M being Matrix of D
for L being Matrix of E
for i being Nat st M = L & i in Seg (width M) holds
Col (M,i) = Col (L,i)