:: deftheorem Def5 defines Y_increasing-in-line GOBOARD1:def 6 :
for M being Matrix of (TOP-REAL 2) holds
( M is Y_increasing-in-line iff for n being Nat st n in dom M holds
Y_axis (Line (M,n)) is increasing );