Es decir, todo par de vértices (a, b) debe tener una arista "e" que los une.