Мравките (Formicidae) са семейство насекоми с пълно превръщане от разред Ципокрили (Hymenoptera). В световен мащаб са известни около 14 000 вида, а в България – 163 вида[1]. Както други ципокрили като пчелитеи осите, мравките също са обществени насекоми със силно изразен полиморфизъм. Последното означава, че съществуват (морфологично) различни форми индивиди, в рамките на същия вид, изпълняващи различни функции.