Category:Definitions/Decreasing Sequences

This category contains definitions related to Decreasing Sequences.
Related results can be found in Category:Decreasing Sequences.

Let $\struct {S, \preceq}$ be a totally ordered set.

Then a sequence $\sequence {a_k}_{k \mathop \in A}$ of terms of $S$ is decreasing if and only if:

$\forall j, k \in A: j < k \implies a_k \preceq a_j$