As formigas são insetos sociais que vivem juntos em colônias. Pertencem à Ordem Hymenoptera, mesmo grupo em que se encontram as vespas e abelhas. Existem várias famílias de vespas e várias de abelhas, no entanto todas as formigas estão agrupadas em uma única família, a família Formicidae. Podemos reconhecer uma formiga dos outros himenópteros pela presença de uma antena em forma de cotovelo, e pela presença de uma cintura, que pode ter um ou dois segmentos, também chamados de nós. Estes insetos distribuem-se por todos os continentes com exceção dos pólos. Estima-se que existam por volta de 18.000 espécies de formigas sendo que 10.000 já foram descritas. No Brasil ocorrem aproximadamente 2.000 espécies sendo que somente de 20 a 30 são consideradas pragas. As demais são extremamente benéficas. Elas dispersam sementes contribuindo para o reflorestamento de muitos ecossistemas, como o Cerrado, a Mata Atlântica, a Caatinga e os Campos; promovem a germinação das sementes, pois removem a polpa dos frutos; fazem a poda de algumas plantas promovendo seu crescimento vegetativo; exercem importante papel na aeração do solo; incorporam matéria orgânica à terra tornando-a fértil; são predadoras de diversos artrópodes, muitos deles pragas agrícolas, além de serem predadoras de outras espécies de formigas.  As espécies consideradas pragas são as formigas cortadeiras (saúvas e quenquéns) e as formigas domésticas. Dentre estas últimas citamos as mais importantes: Formiga fantasma, Formiga louca, Formiga lava-pés, Formiga cabeçuda, Formiga carpinteira ou sará-sará, Formiga acrobáática, Formiga Argentina, Pixixica ou pequena formiga de fogo, formiga do faraó.