МРА̀ВИЯ ж. Диал. Мравка; мрава, мравя, мравей, мравинка, мравунка, мравучка, мравяк, бробинец, бробиняк.
— От Н. Геров, Речник на блъгарский язик, 1899.