retired participant

(2) Retired participant The term “retired participant” means a person who— (A) while an employee of the Agency was a participant in the system; and (B) is entitled to receive an annuity from the fund based upon such person’s service as a participant.

Source

50 USC § 2002(a)(2)


Scoping language

None identified. Default scope is assumed to be the entire title.
Is this correct? or