for V being non empty set
for E being Relation of V holds createGraph (V,(E \ (id V))) is removeLoops of (createGraph (V,E))