Changes

|}

|}

There is a "servant of every lover of" link between <math>u\!</math> and <math>v\!</math> if and only if <math>u \cdot S ~\supseteq~ L \cdot v.</math>  But the vacuous inclusions, that is, the cases where <math>L \cdot v = \varnothing,</math> can have the effect of adding non-intuitive links to the mix.

There is a "servant of every lover of" link between <math>u\!</math> and <math>v\!</math> if and only if <math>u \cdot S ~\supseteq~ L \cdot v.</math>  But the vacuous inclusions, that is, the cases where <math>L \cdot v = \varnothing,</math> have the effect of adding non-intuitive links to the mix.

The computational requirements are evidently met by the following formula:

The computational requirements are evidently met by the following formula: