Structure of subsets
Cycle-4 condition