# Differences

This shows you the differences between two versions of the page.

 falling_sequence [2013/09/08 15:41]nikolaj falling_sequence [2013/09/08 15:43]nikolaj Both sides previous revision Previous revision 2013/09/08 15:43 nikolaj 2013/09/08 15:41 nikolaj 2013/09/08 15:37 nikolaj 2013/09/08 15:37 nikolaj 2013/09/06 22:04 external edit2013/08/09 16:02 nikolaj 2013/08/09 16:01 nikolaj 2013/08/09 15:59 nikolaj 2013/08/09 15:49 nikolaj 2013/08/09 15:43 nikolaj created 2013/09/08 15:43 nikolaj 2013/09/08 15:41 nikolaj 2013/09/08 15:37 nikolaj 2013/09/08 15:37 nikolaj 2013/09/06 22:04 external edit2013/08/09 16:02 nikolaj 2013/08/09 16:01 nikolaj 2013/08/09 15:59 nikolaj 2013/08/09 15:49 nikolaj 2013/08/09 15:43 nikolaj created Line 18: Line 18: For [[Growing sequence|growing sequences]] we have: $\lim_{n\to\infty}A_n=\bigcup_{n=1}^\infty A_n$. For [[Growing sequence|growing sequences]] we have: $\lim_{n\to\infty}A_n=\bigcup_{n=1}^\infty A_n$. === Predicates === === Predicates === - | @#FFBB00: $A_n\downarrow \hat A \equiv ​(A\in \mathrm{FallingSequence}(X))\land(\lim_{n\to\infty}A_n=\hat A)$ | + | @#EEEE55: $A_n\downarrow \hat A \equiv A\in \mathrm{FallingSequence}(X)\ \land\ \lim_{n\to\infty}A_n=\hat A$ | ==== Parents ==== ==== Parents ==== === Subset of === === Subset of === [[Infinite sequence]] [[Infinite sequence]]