Spherical subset of a Coxeter system (source code)

= Spherical subset of a Coxeter system

A subset $T\subseteq S$ is spherical when its <standard parabolic subgroup> $W_T$ is finite.