La denominación oficial de San Pedro el Real proviene de la iglesia conocida como san Pedro el Viejo, antiguamente llamada de san Pedro el Real.