Structure of subsets

Cycle-4 condition