Category:Decreasing Sequences of Sets

From ProofWiki
Jump to navigation Jump to search

This category contains results about Decreasing Sequences of Sets.
Definitions specific to this category can be found in Definitions/Decreasing 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 \supseteq S_{k + 1}$

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