МРА̀ВИЯ ж. Диал. Мравка; мрава, мравя, мравей, мравинка, мравунка, мравучка, мравяк, бробинец, бробиняк.

— От Н. Геров, Речник на блъгарский язик, 1899.


Източник: Речник на българския език (онлайн)