考克斯特群
is one of the defining relations of the Coxeter group.