for V being non empty set
for E being Relation of V holds
( E is empty iff createGraph (V,E) is edgeless )