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: