Prestación definida: paga mensual de jubilación de por vida después de al menos 20 años de servicio (por lo que si se jubila con 20 años de servicio, recibirá el 40% de su salario base más alto de 36 meses).