Half-space of a Coxeter group (source code)

= Half-space of a Coxeter group

The two connected components of the complement of a <wall of a Coxeter group> are its half-spaces. A wall separates two group elements when they lie in opposite half-spaces.