Here is a summary of the result, illustrated by means of a digraph picture, where the "no change" element <math>(\operatorname{d}x)(\operatorname{d}y)</math> is drawn as a loop at the point <math>x~y.</math>
+
+
{| align="center" cellpadding="6" width="90%"
+
| align="center" |
<pre>
<pre>
−
Here is a summary of the result, illustrated by means of a digraph picture,
−
where the "no change" element (dx)(dy) is drawn as a loop at the point x·y.
−
o---------------------------------------o
o---------------------------------------o
| |
| |
Line 3,842:
Line 3,843:
| |
| |
o---------------------------------------o
o---------------------------------------o
+
</pre>
+
|}
−
We may understand the enlarged proposition Ef
+
We may understand the enlarged proposition <math>\operatorname{E}f</math> as telling us all the different ways to reach a model of the proposition <math>f\!</math> from each point of the universe <math>U.\!</math>