Differences

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

Link to this comparison view

countable_union [2013/09/06 22:04]
127.0.0.1 external edit
countable_union [2014/03/21 11:11]
Line 1: Line 1:
-===== Countable union ===== 
-==== Definition ==== 
-| @#88DDEE: $X$ | 
-| @#88DDEE: $A\in \mathrm{Sequence}(X)\ \lor\ A\in\mathrm{FinSequence}(X)$ | 
-| @#88DDEE: $n\in \mathbb N\cup\{\infty\}$ | 
  
-| @#FFBB00: $\bigcup_{j=1}^n A_j \equiv \bigcup A(\mathrm{range}(n))$ | 
- 
-==== Discussion ==== 
-==== Parents ==== 
-=== Refinement of === 
-[[Arbitrary union]] 
-=== Requirements === 
-[[Sequence]],​ [[Finite sequence]] 
Link to graph
Log In
Improvements of the human condition