:: deftheorem Def6 defines m-nonnegative MATRPROB:def 6 :
for M being Matrix of REAL holds
( M is m-nonnegative iff for i, j being Nat st [i,j] in Indices M holds
M * (i,j) >= 0 );