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 will make this non-intuitive.
+
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.
+
+
The following formula evidently satisfies the computational requirements: