A mathematical study of the founder principle of evolutionary genetics