:: deftheorem defines - MATRIX_1:def 7 :
for K being non empty addLoopStr
for A, B being Matrix of K holds A - B = A + (- B);