環S{\displaystyleS}の2つのイデアルI,J{\displaystyleI,\J}がI+J=S{\displaystyleI+J=S}を満たすとき、I{\displaystyleI}とJ{\displaystyleJ}は互いに素であるという。
同时，若两条边i,j{\displaystylei,j}有一个公共顶点u{\displaystyleu}，则称i,j{\displaystylei,j}关于u{\displaystyleu}相邻。