Pachuca de Soto (nombre propio): Ciudad de unos 700 mil habitantes, cabecera municipal del territorio que lleva su nombre. Sus habitantes se llaman pachuqueños.