former participant
(1) Former participant The term “former participant” means a person who— (A) while an employee of the Agency was a participant in the system; and (B) separates from the Agency without entitlement to immediate receipt of an annuity from the fund.