12,080
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 21:14, 7 January 2013
, 21:14, 7 January 2013→6.34. Set-Theoretic Constructions: markup
\end{array}</math>
\end{array}</math>
|}
|}
Notice the difference between these notions and the more familiar concepts of an ''indexed set'', ''numbered set'', and ''enumerated set''. In each of these cases the construct that results is one where each element has a distinctive index attached to it. In contrast, the above indications and indictments attach to the set <math>S\!</math> as a whole, and respectively to each element of it, the same index number <math>j.\!</math>
<pre>
<pre>
Definition. An "indexed set" <S, L> is constructed from two components: its "underlying set" S and its "indexing relation" L : S > N, where L is total at S and tubular at N. It is defined as follows:
Definition. An "indexed set" <S, L> is constructed from two components: its "underlying set" S and its "indexing relation" L : S > N, where L is total at S and tubular at N. It is defined as follows: