技術的に言えば、"g" は射有限群でもよく、この場合定義を連続なコチェインのみを許すように直す必要がある。