形式的には、与えられた生成元に対して、語距離(ケイリーグラフ上の自然な距離)があり、距離空間を定める。