for D being non empty set
for M being Matrix of D
for i being Nat st i in Seg (width M) holds
rng (Col (M,i)) c= Values M