 Inversion set of a Weyl-group element

For a chosen positive system of a root system $\Pi$, the inversion set isFor a finite Weyl group, $|N(w)|=\ell (w)$.