3. A judge who ceased to hold office before the age of sixty and who would be entitled to a retirement pension when he or she reached that age may elect to receive a pension from any date after the date on which he or she ceases to hold office. Should he or she so elect, the amount of such pension shall be that amount which has the same value as the retirement pension which would have been paid to him or her at the age of sixty.
3. El magistrado que cese en sus funciones antes de llegar a los sesenta años de edad y que tendría derecho a una pensión de jubilación al alcanzar esa edad podrá optar por percibir una pensión desde cualquier fecha posterior a la de cesación en el cargo. De optar en tal forma, la cuantía de dicha pensión será una suma que tenga el mismo valor que la pensión de jubilación que habría percibido al cumplir los sesenta años de edad.