Changes

Capping the series that analyzes the proposition <math>pq\!</math> in terms of succeeding orders of linear propositions, Figure&nbsp;26-2 shows the remainder map <math>\operatorname{r}(pq) : \operatorname{E}X \to \mathbb{B},</math> that happens to be linear in pairs of variables.

Capping the series that analyzes the proposition <math>pq\!</math> in terms of succeeding orders of linear propositions, Figure&nbsp;26-2 shows the remainder map <math>\operatorname{r}(pq) : \operatorname{E}X \to \mathbb{B},</math> that happens to be linear in pairs of variables.

{| align="center" cellspacing="10" style="text-align:center; width:90%"

{| align="center" cellspacing="10" style="text-align:center"

|

| [[Image:Field Picture PQ Remainder Conjunction.jpg|500px]]

|-

| <math>\text{Figure 26-2.  Remainder Map}~ \operatorname{r}(pq) : \operatorname{E}X \to \mathbb{B}</math>

|                                                                    |

|   X                                                                |

|            o-------------------o  o-------------------o            |

|   |                      |          |                      |    |

|    |            o<------------------------------->o            |    |

|        \                       \|/                      /        |

Figure 26-2.  Remainder r[pq] : EX -> B

</pre>

|}

|}