# Differences

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

 sequence_union [2013/09/08 15:42]nikolaj sequence_union [2014/03/21 11:11] (current) Both sides previous revision Previous revision 2013/09/08 16:22 nikolaj 2013/09/08 15:42 nikolaj 2013/09/06 23:16 nikolaj 2013/09/06 23:15 nikolaj 2013/09/06 22:04 external edit2013/09/05 00:35 nikolaj 2013/08/16 14:53 nikolaj 2013/08/15 09:12 nikolaj 2013/08/14 23:58 nikolaj 2013/08/06 11:34 nikolaj 2013/08/06 11:29 nikolaj 2013/08/06 11:28 nikolaj 2013/08/04 20:20 nikolaj 2013/08/04 20:19 nikolaj created2013/08/04 20:12 nikolaj removed2013/06/12 22:21 nikolaj 2013/06/12 22:20 nikolaj 2013/06/12 22:05 nikolaj created Next revision Previous revision 2013/09/08 16:22 nikolaj 2013/09/08 15:42 nikolaj 2013/09/06 23:16 nikolaj 2013/09/06 23:15 nikolaj 2013/09/06 22:04 external edit2013/09/05 00:35 nikolaj 2013/08/16 14:53 nikolaj 2013/08/15 09:12 nikolaj 2013/08/14 23:58 nikolaj 2013/08/06 11:34 nikolaj 2013/08/06 11:29 nikolaj 2013/08/06 11:28 nikolaj 2013/08/04 20:20 nikolaj 2013/08/04 20:19 nikolaj created2013/08/04 20:12 nikolaj removed2013/06/12 22:21 nikolaj 2013/06/12 22:20 nikolaj 2013/06/12 22:05 nikolaj created Line 1: Line 1: ===== Sequence union ===== ===== Sequence union ===== - ==== Definition ​==== + ==== Set ==== - | @#88DDEE: $X$ | + | @#55CCEE: context ​    | @#55CCEE: $X$ | - | @#88DDEE: $A\in \mathrm{InfSequence}(X)$ | + | @#55CCEE: context ​    | @#55CCEE: $A\in \mathrm{InfSequence}(X)$ | - | @#88DDEE: $n\in \mathbb N$ | + | @#55CCEE: context ​    | @#55CCEE: $n\in \mathbb N$ | - | @#FFBB00: ${\bigcup_{k=n+1}^\infty}A_k\equiv\bigcup A(\mathbb N\smallsetminus\mathrm{range}(n))$ | + | @#FFBB00: definiendum ​| @#FFBB00: ${\bigcup_{k=n+1}^\infty}A_k\equiv\bigcup A(\mathbb N\smallsetminus\mathrm{range}(n))$ | ==== Discussion ==== ==== Discussion ==== ==== Parents ==== ==== Parents ==== - === Requirements ​=== + === Context ​=== - [[Infinite ​Sequence]], [[Restricted image]], [[Arbitrary union]] + [[Infinite ​sequence]], [[Restricted image]], [[Arbitrary union]]