Changes

Line 86: Line 86:  
</pre>
 
</pre>
   −
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:
12,080

edits