Coxeter group
右への写像は単に包含であり――無向ディンキン図形はコクセター図形の特別な場合であり、ワイル群は有限コクセター群の特別な場合である――全射ではない、なぜならばすべてのコクセター図形が無向ディンキン図形ではなく（抜けている図形は と に対する である）、したがってすべての有限コクセター群がワイル群ではないからである。