Declaring \(E\) as a set of sets, has two consequences:

• no two vertices connect more than once, and
• no vertex connects with itself.