theorem :: GLUNIR00:82

for V being non empty set
for E being Relation of V holds rng E = rng (the_Target_of (createGraph (V,E)))