  Elementarily free groups are the finitely generated groups with the same
elementary theory as free groups. We prove that elementarily free groups are
subgroup separable, answering a question of Zlil Sela.
