Dãy số (un) là dãy số giảm khi và chỉ khi với mọi n ∊ ℕ* ta luôn có un > un + 1.