Changes

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>

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>

Recalling a few definitions, the ''local flags'' of the relation <math>L\!</math> are given as follows:

Recall that 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%"

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

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

| <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} \operatorname{proj}_1 (L \star x)</math>

| <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} L \cdot x</math>

|}

|}