IR descontado na aposentadoria

Bom dia. Minha mãe tem 60 anos e aposentou-se no final do ano por idade. Ela recebe $4.151,00 e estamos em dúvida em relação ao valor descontado para o Imposto de renda.
Obrigada.
Anali

No informe de rendimentos fornecido pela fonte pagadora (Previdencia Social) consta o valor do IR retido na fonte.
Sendo apenas esta fonte e não havendo variação patrimonial acima das rendas tributadas, isentas ou tributadas exclusivamente na fonte - ela terá direito a restituição do que foi retido.