Mathematical Properties of the Agent-Based Model of Extinction–Recolonization for Population Genetics | Synapse