Esta e outras cidades foram a base da União de Freguesias de São Miguel e Vila de São Miguel.
A mais 🎅 antiga denominação para esta área é "São Miguel de los Cuientes" e é referida na documentação por Manuel Afonso de 🎅 Macedo como: "La Grande SãoMiguel del Real".
Essa denominação é derivada de "La Grande São Miguel del Solimeo", que significa "Monte 🎅 Alegre de grande montanha", de "Minho de Cocos", onde a terra da freguesia fica em abundância e tem uma população 🎅 de 30 mil habitantes.É
famosa pela existência de um lago que circunda a localidade de São Miguel.
A freguesia de São Miguel 🎅 de El Pedrito é a que pertence à antiga freguesia de El Pedrito.