S1        Every haplotype h in H is different from all other haplotypes in H.

 

S2        Haplotype i is not generated (used to explain genotypes), unless i-1 is already generated.