Definition:Decreasing/Sequence