12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday April 12, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 14:37, 4 February 2013
, 14:37, 4 February 2013→6.34. Set-Theoretic Constructions: markup;
Line 8,762:
Line 8,762:
<pre>+
<math>L\!</math> assigns a unique set of “local habitations” <math>L(s)\!</math> to each element <math>s\!</math> in the underlying set <math>S.\!</math>
<math>L\!</math> assigns a unique set of “local habitations” <math>L(s)\!</math> to each element <math>s\!</math> in the underlying set <math>S.\!</math>
−'''Definition.''' A ''numbered set'' <math>(S, f),\!</math> based on the set <math>S\!</math> and the injective function <math>f : S \to \mathbb{N},</math> is defined as follows. …
−Definition. A "numbered set" <S, f>, based on the set S and the injective function f : S > N, is defined as follows. ???
−Definition. An "enumerated set" <S, f> is a numbered set with a bijective f. ???
+'''Definition.''' An ''enumerated set'' <math>(S, f)\!</math> is a numbered set with a bijective <math>f.\!</math> …
+<pre>
The "n fold sum" ("co product", "disjoint union") of the sets X1, ... , Xn is notated and defined as follows:
The "n fold sum" ("co product", "disjoint union") of the sets X1, ... , Xn is notated and defined as follows:
