In mathematics a non-increasing sequence is a type sequence, an ordered list of objects, with an additional property on the values of its items. The property of being non-increasing is a local property in that if all adjacent items in the sequence have the property then the sequence over all has the property.
The property of being a decreasing sequence is a stronger requirement since any decreasing sequence is a non-increasing sequence, but the converse is not true. A special example of a non-increasing sequence is the constant sequence where all items in the sequence have identical value.
Algebraically speaking, a sequence is non-increasing if .