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:  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:
+
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 then take the intersection of all these subsets.  Putting it all together:
    
{| align="center" cellspacing="6" width="90%"
 
{| align="center" cellspacing="6" width="90%"
12,080

edits