12,117
edits
Changes
MyWikiBiz, Author Your Legacy — Monday October 20, 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;
<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:
