12,080
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 20:14, 7 January 2013
, 20:14, 7 January 2013→6.34. Set-Theoretic Constructions: markup
<li>
<li>
<p>The larger and longer-term index sets, typically having the form <math>J \subseteq \mathbb{N} = \{ 1, 2, 3, \ldots \},\!</math> are used to enumerate families of objects that enjoy a more abiding reference throughout the course of a discussion.</p></li></ol>
<p>The larger and longer-term index sets, typically having the form <math>J \subseteq \mathbb{N} = \{ 1, 2, 3, \ldots \},\!</math> are used to enumerate families of objects that enjoy a more abiding reference throughout the course of a discussion.</p></li></ol>
'''Definition.''' An ''indicated set'' <math>j \widehat{~} S\!</math> is an ordered pair <math>j \widehat{~} S = (j, S),\!</math> where <math>j \in J\!</math> is the indicator of the set and <math>S\!</math> is the set indicated.
<pre>
<pre>
Definition. An "indited set" j^S extends the incidental and extraneous indication of a set into a constant indictment of its entire membership.
Definition. An "indited set" j^S extends the incidental and extraneous indication of a set into a constant indictment of its entire membership.