Category:Decreasing Sequences

This category contains results about Decreasing Sequences.
Definitions specific to this category can be found in Definitions/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$