48.303—Condition affecting entitlement of widow or widower.
A member may have a different lawful spouse at the time of retirement from the lawful spouse he had at the time of election. The lawful spouse at the time of retirement is the spouse eligible for an annuity at the time of member's death. Divorce of the member will remove the former spouse as a prospective annuitant.