Die Menge, die die Vorgängermenge enthält (sie ist also nicht leer), und die Vorgängermenge sind disjunkt, deshalb ist jede Nachfolgermenge von der Vorgängermenge verschieden.
Auswahlaxiom: Ist eine Menge von paarweise disjunkten nichtleeren Mengen, dann gibt es eine Menge, die genau ein Element aus jedem Element von enthält.
Die verschiedenen Populationen im disjunkten Verbreitungsgebiet unterscheiden sich farblich und könnten möglicherweise als verschiedene Unterarten klassifiziert werden.
