# Definition:Strictly Increasing/Sequence

## Definition

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

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

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

### Real Sequence

The above definition for sequences is usually applied to real number sequences:

Let $\sequence {x_n}$ be a sequence in $\R$.

Then $\sequence {x_n}$ is strictly increasing if and only if:

$\forall n \in \N: x_n < x_{n + 1}$