for V being non empty set
for E being Relation of V st createGraph (V,E) is complete holds
E is connected