V České republice je celkem 1 člověk s příjmením Mravenec.
Příjmení Mravenec je 197 737.nejčastější příjmení
(každý 10 270 879. obyvatel).
Přechýlená forma: Mravencová (1)
Toto příjmení se vyskytovalo i jinde než v Domažlicích, asi i docela často, ale buďto vymizelo, nebo se zkomolilo na Brabenec či jiné nářeční patvary. Ještě v 18. století se toto příjmení docela dost vyskytovalo v Horním Újezdu u Třebíče.
Toto příjmení je na rozdíl od mravence kriticky ohrožený taxon, a vzhledem k tomu, že jedinému nositeli na Domažlicku je 76 let, neočekávám, že by linie tohoto příjmení pokračovala. Původ = z apelativa (slova obecného významu), na rozdíl od 714x běžnějšího příjmení Brabenec nebylo změněno na nářeční podobu.