for G being _Graph
for v being Vertex of G st v is isolated holds
{v} = G .reachableFrom v