Definition:Strictly Decreasing/Sequence