ion&quot; and forms the
analogue of a system of differential equations,
constraints, or relations in ordinary calculus.

With these constructions, to be specific, the differential extension EA
and the differential proposition h : EA -&gt; B, we have arrived, in concept
at least, at one of the major subgoals of this study.  At this juncture,
I pause by way of summary to set another Table with the current crop of
mathematical produce (Table 8).

Table 8.  Notation for the Differential Extension of Proposition