for G being Graph holds
( G -SVSet {} = {} & G -TVSet {} = {} )