Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
growing_sequence [2013/09/08 15:40] nikolaj |
growing_sequence [2013/09/08 15:42] nikolaj |
||
---|---|---|---|
Line 3: | Line 3: | ||
| @#88DDEE: $X$ | | | @#88DDEE: $X$ | | ||
- | | @#55EE55: $A\in \mathrm{GrowingSequence}(X) $ | | + | | @#FFBB00: $A\in \mathrm{GrowingSequence}(X) $ | |
- | | @#55EE55: $A\in \mathrm{Sequence}(X) $ | | + | | @#55EE55: $A\in \mathrm{InfSequence}(X) $ | |
| $n\in \mathbb N$ | | | $n\in \mathbb N$ | |