Mravečník (992,5 m n. m.) je vrch Kysuckej vrchoviny. Leží nad obcou Terchová, približne 18 km východne od Žiliny. Vrchol leží v ochrannom pásme Národného parku Malá Fatra. Nachádza sa v juhovýchodnej časti pohoria, v geomorfologickom podcelku Kysucké bradlá. Vrch leží v Žilinskom kraji, v okrese Žilina a zasahuje na katastrálne územie obcí Belá a Terchová. Mravečník, nazývaný aj Veľhora, je súčasťou masívu, ktorý zo severozápadu ohraničuje Terchovskú dolinu
Mravečník tvorí spoločný masív s juhozápadne situovanou Okrúhlicou (932 m n. m.). Západne leží vrch Zlieň (765 m n. m.), severne Čierna Lutiša (952 m n. m.), východne Pupov (1 096 m n. m.) a južným smerom Sokolie (1 172 m n. m.). Severné svahy sú pramennou oblasťou Radôstky, smerujúcej do rieky Bystrica, južnú časť hrebeňa odvodňujú prítoky Varínky. Najbližšími sídlami sú na juhovýchodnom úpätí situovaná Terchová a západným smerom ležiace osady obcí Belá a Lutiše.