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