Donde formula_3 consta de pares no ordenados de vértices, tales que si {formula_5}formula_6 entonces decimos que formula_7 e formula_8 son adyacentes; y [en el grafo] se representa mediante una línea no orientada que una a dichos vértices.