En l'antigo dominio de l'aragonés os toponimos en "nava" corresponden sobre tot a l'aragonés d'as comunidatz aragonesas, estando poco comuns en o Pireneu u Prepireneu. Un puesto d'o Sistema Iberico con muitos toponimos con "nava" documentaus dende a Edat Meya y que corresponden a poljes ye o Naixedero d'o Tacho. En la zona Prepirenenca tenemos macrotoponimos como "Naval", "Navardún" y "Navarra" que son interpretables a partir de "nava".