Differences

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

Link to this comparison view

Both sides previous revision Previous revision
finite_sequence [2014/03/21 11:11]
127.0.0.1 external edit
finite_sequence [2016/07/03 20:54] (current)
nikolaj
Line 2: Line 2:
 ==== Set ==== ==== Set ====
 | @#55CCEE: context ​    | @#55CCEE: $X$ |  | @#55CCEE: context ​    | @#55CCEE: $X$ | 
- 
 | @#FFBB00: definiendum | @#FFBB00: $ A\in \text{FinSequence}(X) $ | | @#FFBB00: definiendum | @#FFBB00: $ A\in \text{FinSequence}(X) $ |
- 
 | @#DDDDDD: range       | @#DDDDDD: $ n\in \mathbb N $ | | @#DDDDDD: range       | @#DDDDDD: $ n\in \mathbb N $ |
- 
 | @#55EE55: postulate ​  | @#55EE55: $\exists n.\ A: \mathrm{range}(n)\to X$ | | @#55EE55: postulate ​  | @#55EE55: $\exists n.\ A: \mathrm{range}(n)\to X$ |
  
-==== Discussion ====+-----
 === Reference === === Reference ===
-==== Parents ====+-----
 === Related === === Related ===
 [[Natural number range]] [[Natural number range]]
  
Link to graph
Log In
Improvements of the human condition