МРАВЍНЯ ж. Диал. Мравуняк; мравиняк, мравуляк, мравялник, мравунище. Работниците [мравки] биват пълни с внимание към майките и ги водят или носят по сичките отделения на мравинята. Т. Икономов, ЧПГ, 108.