Prefeitura Municipal

Palavras: Guarulhos , Orobó

Estava fazendo uma pesquisa a respeito de alguns serviços na página de internet da Prefeitura de Guarulhos.
Sei que já foi solicitado a etimologia da palavra prefeitura, mas minha questão é a seguinte: no finalzinho da página (https://www.guarulhos.sp.gov.br/) está escrito:
“© COPYRIGHT 2023, Prefeitura Municipal de Guarulhos, Av. Bom Clima, 90 – Bom Clima – Guarulhos – CEP: 07196-220”
Nesse sentido, pergunto:
Por que “prefeitura municipal”? Não seria redundante?
Existe (ou existiu) prefeitura estadual e/ou federal? Será que é para diferenciar de Câmara (de vereadores) Municipal?
Por último, qual a etimologia do nome Guarulhos e um dos locais que já vi em outros municípios: Orobó ou Oropó?
Mais uma vez, obrigado

Resposta:

Não há redundância. Uma prefeitura é uma subdivisão administrativa, não se refere apenas a uma cidade. Há universidades com prefeituras, por exemplo.

Consta que Guarulhos vem do nome dos seus habitantes originais, Guaramomis.

Orobó é o nome de um riacho local. Foi o que conseguimos descobrir.

Origem Da Palavra