It looks like we have a "servant of every lover of" link between <math>i\!</math> and <math>j\!</math> if and only if <math>i \cdot S \supseteq L \cdot j.</math> It looks like the vacuous inclusions will make this rather non-intuitive.
+
It looks like there is a "servant of every lover of" link between <math>i\!</math> and <math>j\!</math> if and only if <math>i \cdot S ~\supseteq~ L \cdot j.</math> But the vacuous inclusions will make this non-intuitive.
Recall the analogy between involution and implication:
Recall the analogy between involution and implication: