Changes

|}

|}

Using this additional language, the denotation of the term <math>\mathit{l}^\mathrm{w}\!</math> can be expressed as follows:

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 \cdot x</math> for each <math>x \in W,</math> take their intersection <math>\textstyle\bigcap_{x \in W} L \cdot x,</math> and collect the elements of <math>X\!</math> that appear as the first components of these ordered pairs.  Putting it all together:

{| align="center" cellspacing="6" width="90%"

{| align="center" cellspacing="6" width="90%"

| <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} L \cdot x</math>

| <math>\mathit{l}^\mathrm{w} ~=~ \operatorname{proj}_1 \bigcap_{x \in W} L \cdot x</math>

|}

|}