Changes

Line 89: Line 89:  
|}
 
|}
   −
The ''flag projections'' of the relation <math>L\!</math> are defined this way:
+
The ''applications'' of the relation <math>L\!</math> are defined as follows:
    
{| align="center" cellspacing="6" width="90%"
 
{| align="center" cellspacing="6" width="90%"
Line 119: Line 119:     
{| align="center" cellspacing="6" width="90%"
 
{| align="center" cellspacing="6" width="90%"
| <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} \operatorname{proj}_1 (L \star x)</math>
+
| <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} \operatorname{proj}_1 (L \star x) ~=~ \bigcap_{x \in W} L \cdot x</math>
 
|}
 
|}
  
12,080

edits