for G being Graph
for c being Chain of G st c = {} holds
c is cyclic