Nombres antiguos: En sus inicios, este distrito recibió el nombre de "San José de San Andrés".