for K being set
for A, B being Matrix of K st len A = len B & width A = width B holds
Indices A = Indices B