for G being Graph holds {} in G -CycleSet