コクセター群
生成系 "S" をもつ群 "W" がコクセター群である、または組 ("W", "S") がコクセター系 ("Coxeter system") であるとは、以下の3条件がすべて満たされるときにいう。