Los formícidos (Formicidae), conocidos comúnmente como hormigas, son una familia de insectos sociales que, como las avispas y las abejas, pertenecen al orden de los himenópteros. Las hormigas evolucionaron de antepasados similares a una avispa a mediados del Cretáceo, hace entre 110 y 130 millones de años, diversificándose tras la expansión de las plantas con flor por el mundo. Son uno de los grupos zoológicos de mayor éxito y en la actualidad están clasificadas más de 12 000 especies, con estimaciones que superan las 14 000, y con unas tendencias actuales que predicen un total de más de 21 000. Se identifican fácilmente por sus antenas en ángulo y su estructura en tres secciones con una estrecha cintura. La rama de la entomología que las estudia se denomina mirmecología.
Forman colonias de un tamaño que se extiende desde unas docenas de individuos predadores que viven en pequeñas cavidades naturales, a colonias muy organizadas que pueden ocupar grandes territorios compuestas por millones de individuos. Estas grandes colonias consisten sobre todo en hembras estériles sin alas que forman castas de «obreras», «soldados» y otros grupos especializados. Las colonias de hormigas también cuentan con algunos machos fértiles y una o varias hembras fértiles llamadas «reinas». Estas colonias son descritas a veces como superorganismos, dado que las hormigas parecen actuar como una entidad única, trabajando colectivamente en apoyo de la colonia.3