:: deftheorem defines decreasing UNIFORM1:def 2 :
for IT being FinSequence of REAL holds
( IT is decreasing iff for n, m being Element of NAT st n in dom IT & m in dom IT & n < m holds
IT . n > IT . m );