Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
falling_sequence [2013/09/06 22:04] 127.0.0.1 external edit |
falling_sequence [2013/09/08 15:37] nikolaj |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| | @#88DDEE: $X$ | | | @#88DDEE: $X$ | | ||
| - | | @#55EE55: $A\in \mathrm{FallingSequence}(X) $ | | + | | @#FFBB00: $A\in \mathrm{FallingSequence}(X) $ | |
| + | |||
| + | | @#88DDEE: $A\in \mathrm{InfSequence}(X) $ | | ||
| - | | @#88DDEE: $A\in \mathrm{Sequence}(X) $ | | ||
| | $n\in \mathbb N$ | | | $n\in \mathbb N$ | | ||
| Line 20: | Line 21: | ||
| ==== Parents ==== | ==== Parents ==== | ||
| === Subset of === | === Subset of === | ||
| - | [[Sequence]] | + | [[InfSequence]] |
