許容系

実内積空間の単位ベクトルの組 $\mathfrak{A}=\lbrace\varepsilon_1,\dots,\varepsilon_\ell\rbrace$ が一次独立で、$i\ne j$ について $(\varepsilon_i,\varepsilon_j)\le0$ かつ $4(\varepsilon_i,\varepsilon_j)^2\in\lbrace0,1,2,3\rbrace$ をみたすとき、許容系 という。$\varepsilon_i$ を頂点とし、$i\ne j$ の頂点を $4(\varepsilon_i,\varepsilon_j)^2$ 本の線で結んだグラフを $\Gamma(\mathfrak{A})$ と書く。