12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday April 15, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 15:22, 4 February 2013
, 15:22, 4 February 2013→6.34. Set-Theoretic Constructions: markup
Line 8,766:
Line 8,766:
The "n fold sum" ("co product", "disjoint union") of the sets X1, ... , Xn is notated and defined as follows:
−Ui Xi = X1 + ... + Xn = 1^X1 U ... U n^Xn.+
'''Definition.''' An ''enumerated set'' <math>(S, f)\!</math> is a numbered set with a bijective <math>f.\!</math> …
'''Definition.''' An ''enumerated set'' <math>(S, f)\!</math> is a numbered set with a bijective <math>f.\!</math> …
−<pre>
+'''Definition.''' The ''<math>n\!</math>-fold sum'' (''co-product'', ''disjoint union'') of the sets <math>X_1, \ldots, X_n\!</math> is notated and defined as follows:
−{| align="center" cellspacing="8" width="90%"
+| <math>\coprod_{i=1}^n X_i ~=~ X_1 + \ldots + X_n ~=~ 1 \widehat{~} X_1 \cup \ldots \cup n \widehat{~} X_n.\!</math>
+|}
+<pre>
The "n fold product" ("cartesian product") of the sets X1, ... , Xn is notated and defined as follows:
The "n fold product" ("cartesian product") of the sets X1, ... , Xn is notated and defined as follows:
