El nombre tradicional de la localidad es Villamayor.