_4称为边集（Edges set），formula_4与formula_3不相交；formula_16称为关联函数，formula_16将formula_4中的每一个元素映射到formula_19。如果formula_20那么称边formula_21连接顶点formula_22，而formula_22则称作formula_21的端点，formula_22此时关于formula_21相邻。同时，若两条边formula_27有一个公共顶点formula_28，则称formula_27关于formula_28相邻