Changes

Line 5,411: Line 5,411:  
|}
 
|}
   −
The denotation of the term <math>\mathit{l}^\mathrm{w}\!</math> is a subset of <math>X\!</math> that can be obtained as follows:  Consider the flags of the form <math>L \star x</math> for each <math>x \in W,</math> take their intersection <math>\textstyle\bigcap_{x \in W} L \star x,</math> and collect the elements of <math>X\!</math> that appear as the first components of these ordered pairs.  Putting it all together:
+
The denotation of the term <math>\mathit{l}^\mathrm{w}\!</math> is a subset of <math>X\!</math> that can be obtained as follows:  For each flag of the form <math>L \star x</math> with <math>x \in W,</math> collect the elements <math>\operatorname{proj}_1 (L \star x)</math> that appear as the first components of these ordered pairs, and form the intersection of all these subsets.  Putting it all together:
    
{| align="center" cellspacing="6" width="90%"
 
{| align="center" cellspacing="6" width="90%"
| <math>\mathit{l}^\mathrm{w} ~=~ \operatorname{proj}_1 \bigcap_{x \in W} L \star x</math>
+
| <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} \operatorname{proj}_1 (L \star x)</math>
 
|}
 
|}
  
12,080

edits