Changes

First, the enlargement map (or the secant transformation) E''G'' = ‹E''G''₁, E''G''₂› : E''U''^ • → E''X''^ • is defined by the following set of component equations:

First, the enlargement map (or the secant transformation) E''G'' = ‹E''G''₁, E''G''₂› : E''U''^ • → E''X''^ • is defined by the following set of component equations:

<pre>

<br><font face="courier new">

o-------------------------------------------------o

{| align="center" border="1" cellpadding="12" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:96%"

|                                                 |

|   EG_i = G_i <u + du, v + dv>                |

{| align="left" border="0" cellpadding="12" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:100%"

|                                                 |

| width="8%"  | E''G''_''i''

| width="4%" | =

</pre>

| width="88%" | ''G''_''i''‹''u'' + d''u'', ''v'' + d''v''›

|}

|}

</font><br>

Second, the difference map (or the chordal transformation) D''G'' = ‹D''G''₁,&nbsp;D''G''₂›&nbsp;:&nbsp;E''U''^&nbsp;&bull;&nbsp;&rarr;&nbsp;E''X''^&nbsp;&bull; is defined in component-wise fashion as the boolean sum of the initial proposition ''G''_''i'' and the enlarged proposition E''G''_''i'', for ''i'' = 1, 2, according to the following set of equations:

Second, the difference map (or the chordal transformation) D''G'' = ‹D''G''₁,&nbsp;D''G''₂›&nbsp;:&nbsp;E''U''^&nbsp;&bull;&nbsp;&rarr;&nbsp;E''X''^&nbsp;&bull; is defined in component-wise fashion as the boolean sum of the initial proposition ''G''_''i'' and the enlarged proposition E''G''_''i'', for ''i'' = 1, 2, according to the following set of equations: