San Pedro de los Chorrillos fue la denominación oficial del distrito a fines del siglo XIX.