Yes, as mentioned above modifying the representation such that we can rely on the vertices being implicit in the edge map excludes graphs that contain isolated nodes.