Category:Increasing Sequences of Sets

From ProofWiki
Jump to navigation Jump to search

This category contains results about Increasing Sequences of Sets.
Definitions specific to this category can be found in Definitions/Increasing Sequences of Sets.

Let $\sequence {S_k}_{k \mathop \in \N}$ be a nested sequence of subsets of $S$ such that:

$\forall k \in \N: S_k \subseteq S_{k + 1}$

Then $\sequence {S_k}_{k \mathop \in \N}$ is an increasing sequence of sets (in $\SS$).