Changes

</blockquote>

</blockquote>

Strictly speaking, however, there is a subtle distinction in type between the function ''f''_''i''&nbsp;:&nbsp;''X''&nbsp;&rarr;&nbsp;'''B''' and the corresponding function ''g''_''j''&nbsp;:&nbsp;E''X''&nbsp;&rarr;&nbsp;'''B''', even though they share the same logical expression. Being human, we insist on preserving all the aesthetic delights afforded by the abstractly unified form of the "cake" while giving up none of the diverse contents that its substantive consummation can provide.  In short, we want to maintain the logical equivalence of expressions that represent the same proposition, while appreciating the full diversity of that proposition's functional and typical representatives.  Both perspectives, and all the levels of abstraction extending through them, have their reasons, as will develop in time.

Strictly speaking, however, there is a subtle distinction in type between the function <math>f_i : X \to \mathbb{B}</math> and the corresponding function <math>g_j : \operatorname{E}X \to \mathbb{B},</math> even though they share the same logical expression.   Naturally, we want to maintain the logical equivalence of expressions that represent the same proposition while appreciating the full diversity of that proposition's functional and typical representatives.  Both perspectives, and all the levels of abstraction extending through them, have their reasons, as will develop in time.

Because this special circumstance points up an important general theme, it is a good idea to discuss it more carefully.  Whenever there arises a situation like this, where one alphabet <font face="lucida calligraphy">X</font> is a subset of another alphabet <font face="lucida calligraphy">Y</font>, then we say that any proposition ''f''&nbsp;:&nbsp;〈<font face="lucida calligraphy">X</font>〉&nbsp;&rarr;&nbsp;''B'' has a ''tacit extension'' to a proposition <math>\epsilon</math>''f''&nbsp;:&nbsp;〈<font face="lucida calligraphy">Y</font>〉&nbsp;&rarr;&nbsp;'''B''', and that the space (〈<font face="lucida calligraphy">X</font>〉&nbsp;&rarr;&nbsp;'''B''') has an ''automatic embedding'' within the space (〈<font face="lucida calligraphy">Y</font>〉&nbsp;&rarr;&nbsp;'''B'''). The extension is defined in such a way that <math>\epsilon</math>''f'' puts the same constraint on the variables of <font face="lucida calligraphy">X</font> that are contained in <font face="lucida calligraphy">Y</font> as the proposition ''f'' initially did, while it puts no constraint on the variables of <font face="lucida calligraphy">Y</font> outside of <font face="lucida calligraphy">X</font>, in effect, conjoining the two constraints.

Because this special circumstance points up an important general theme, it is a good idea to discuss it more carefully.  Whenever there arises a situation like this, where one alphabet <math>\mathcal{X}</math> is a subset of another alphabet <math>\mathcal{Y},</math> then we say that any proposition <math>f : \langle \mathcal{X} \rangle \to \mathbb{B}</math> has a ''tacit extension'' to a proposition <math>\epsilon f : \langle \mathcal{Y} \rangle \to \mathbb{B},</math> and that the space <math>(\langle \mathcal{X} \rangle \to \mathbb{B})</math> has an ''automatic embedding'' within the space <math>(\langle \mathcal{Y} \rangle \to \mathbb{B}).</math>  The extension is defined in such a way that <math>\epsilon</math>''f'' puts the same constraint on the variables of <font face="lucida calligraphy">X</font> that are contained in <font face="lucida calligraphy">Y</font> as the proposition ''f'' initially did, while it puts no constraint on the variables of <font face="lucida calligraphy">Y</font> outside of <font face="lucida calligraphy">X</font>, in effect, conjoining the two constraints.

If the variables in question are indexed as <font face="lucida calligraphy">X</font>&nbsp;=&nbsp;{''x''₁,&nbsp;&hellip;,&nbsp;''x''_''n''} and <font face="lucida calligraphy">Y</font>&nbsp;=&nbsp;{''x''₁,&nbsp;&hellip;,&nbsp;''x''_''n'',&nbsp;&hellip;,&nbsp;''x''_''n''+''k''}, then the definition of the tacit extension from <font face="lucida calligraphy">X</font> to <font face="lucida calligraphy">Y</font> may be expressed in the form of an equation:

If the variables in question are indexed as <font face="lucida calligraphy">X</font>&nbsp;=&nbsp;{''x''₁,&nbsp;&hellip;,&nbsp;''x''_''n''} and <font face="lucida calligraphy">Y</font>&nbsp;=&nbsp;{''x''₁,&nbsp;&hellip;,&nbsp;''x''_''n'',&nbsp;&hellip;,&nbsp;''x''_''n''+''k''}, then the definition of the tacit extension from <font face="lucida calligraphy">X</font> to <font face="lucida calligraphy">Y</font> may be expressed in the form of an equation: