As formigas, o grupo mais popular dentre os insetos, são interessantes porque formam níveis avançados de sociedade, ou seja, a eusocialidade. Todas as formigas, algumas vespas e abelhas, são considerados como insetos eusociais, fazendo parte da ordem Hymenoptera. As formigas estão incluídas em uma única família, Formicidae, com 12.585 espécies descritas até 4 de janeiro de 2010,[1] distribuídas por todas as regiões do planeta, exceto nas regiões polares. As formigas são o gênero animal de maior sucesso na história terrestre, constituindo de 15 a 20% de toda a biomassa animal terrestre.[2]

Acredita-se que o surgimento das formigas na Terra deu-se durante o período Cretáceo (há mais de 100 milhões de anos) e pensa-se que elas evoluíram a partir de vespas que tinham aparecido durante o período Jurássico.

Por vezes, confundem-se as térmitas (cupins) com as formigas, mas pertencem a grupos distintos.

As formigas distinguem-se dos outros insetos – mas algumas destas características são comuns a alguns tipos de vespas - por apresentarem:

* Uma casta de obreiras sem asas;
* As fêmeas são prognatas (peças bucais no acron);
* Presença de um ‘’saco infrabucal’’ entre o lábio e a hipofaringe;
* Antenas articuladas, com o artículo distal alongado (exceto nas subfamílias Armaniinae e Sphecomyrminae);
* Glândula metapleural nas fêmeas, abrindo na base das patas posteriores;
* O segundo, e em algumas espécies também o terceiro, segmento abdominal formando um “pecíolo” (pouco diferenciado nas Armaniinae);
* As asas anteriores não apresentam nervuras ramificadas;
* A rainha perde as asas depois da cópula, que é realizada em voos de milhares de indivíduos.