Case I | if type k bears mutations at s′ and s″, |
Case II | if type k bears a mutation at s′, but not at s″, and there exists a type carrying both mutations, |
Case III | if type k bears a mutation at s′, but not at s″, and there exists no type carrying both mutations, |
Case IV | if type k does not bear any mutation at s′ or s″, and there exists a type carrying both mutations, |
Case V | if type k does not bear any mutation at s′ or s″, there exists no type carrying both mutations. |