Basic construction of a Coxeter group ($U(W,K)$)

For a mirrored chamber $K$, the basic construction iswhere $(w,x)\sim (w^{\prime },x)$ when $w^{-1}{w}^{\prime }$ belongs to the subgroup generated by the mirrors containing $x$.