Changes

Abstracting from the augmented venn diagram that shows how the ''models'' or ''satisfying interpretations'' of <math>\operatorname{D}f</math> distribute over the extended universe of discourse <math>\operatorname{E}X = P \times Q \times \operatorname{d}P \times \operatorname{d}Q,</math> the difference map <math>\operatorname{D}f</math> can be represented in the form of a ''digraph'' or ''directed graph'', one whose points are labeled with the elements of <math>X =  P \times Q</math> and whose arrows are labeled with the elements of <math>\operatorname{d}X = \operatorname{d}P \times \operatorname{d}Q,</math> as shown in the following Figure.

Abstracting from the augmented venn diagram that shows how the ''models'' or ''satisfying interpretations'' of <math>\operatorname{D}f</math> distribute over the extended universe of discourse <math>\operatorname{E}X = P \times Q \times \operatorname{d}P \times \operatorname{d}Q,</math> the difference map <math>\operatorname{D}f</math> can be represented in the form of a ''digraph'' or ''directed graph'', one whose points are labeled with the elements of <math>X =  P \times Q</math> and whose arrows are labeled with the elements of <math>\operatorname{d}X = \operatorname{d}P \times \operatorname{d}Q,</math> as shown in the following Figure.

{| align="center" cellpadding="10"

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

| [[Image:Directed Graph PQ Difference Conj.jpg|500px]]

| [[Image:Directed Graph PQ Difference Conj.jpg|500px]]

|}

|-

 

|

|

<math>\begin{array}{rcccccc}

<math>\begin{array}{rcccccc}