| 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. |