Definition:Bounded Above Sequence/Unbounded

From ProofWiki
Jump to navigation Jump to search

This page is about sequences which are unbounded above. For other uses, see Definition:Unbounded Above.

Definition

Let $\left \langle {x_n} \right \rangle$ be a sequence in $T$.


$\left \langle {x_n} \right \rangle$ is unbounded above iff there exists no $M$ in $T$ such that:

$\forall i \in \N: x_i \preceq M$