Changes

This says that a lover of every woman in the given universe of discourse is a lover of <math>\mathrm{W}^{\prime}</math> that is a lover of <math>\mathrm{W}^{\prime\prime}</math> that is a lover of <math>\mathrm{W}^{\prime\prime\prime}.</math>  In other words, a lover of every woman in this context is a lover of <math>\mathrm{W}^{\prime}</math> and a lover of <math>\mathrm{W}^{\prime\prime}</math> and a lover of <math>\mathrm{W}^{\prime\prime\prime}.</math>

This says that a lover of every woman in the given universe of discourse is a lover of <math>\mathrm{W}^{\prime}</math> that is a lover of <math>\mathrm{W}^{\prime\prime}</math> that is a lover of <math>\mathrm{W}^{\prime\prime\prime}.</math>  In other words, a lover of every woman in this context is a lover of <math>\mathrm{W}^{\prime}</math> and a lover of <math>\mathrm{W}^{\prime\prime}</math> and a lover of <math>\mathrm{W}^{\prime\prime\prime}.</math>

Given a universe of discourse <math>X,\!</math> suppose that <math>L \subseteq X \times X\!</math> is the 2-adic relation associated with the relative term <math>\mathit{l} = \text{lover of}\,\underline{~~~~}.</math>

Given a universe of discourse <math>X,\!</math> suppose that <math>W \subseteq X</math> is the 1-adic relation, that is, the set, associated with the absolute term <math>\mathrm{w} = \text{woman}\!</math> and suppose that <math>L \subseteq X \times X\!</math> is the 2-adic relation associated with the relative term <math>\mathit{l} = \text{lover of}\,\underline{~~~~}.</math>

Recall the definition of the ''local flags'' for such a relation:

The ''local flags'' of the relation <math>L\!</math> are given as follows:

{| align="center" cellspacing="6" width="90%"

{| align="center" cellspacing="6" width="90%"