Proceeding as before, assume the following definitions:
−
−
{| align="center" cellspacing="6" width="90%"
−
| height="40" | <math>X\!</math> is the universe of discourse,
−
|-
−
| height="40" | <math>W \subseteq X</math> is the denotation of the absolute term <math>\mathrm{w} = \text{woman},\!</math>
−
|-
−
| height="40" | <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>
−
|-
−
| height="40" | <math>S \subseteq X \times X\!</math> is the 2-adic relation associated with the relative term <math>\mathit{s} = \text{servant of}\,\underline{~~~~}.</math>