for G being Graph holds G -VSet {} = {}