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>