Lucas é brasileiro e trabalha para a União, no exterior, em organismo internacional no qual o Brasil é membro efetivo, não sendo segurado na forma da legislação vigente do país do domicílio. Neste caso, Lucas é segurado: