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.
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.