Arroyo de San Serván/Definition

Municipality of Spain, located in the province of Badajoz, autonomous community of Extremadura; pop. about 4,300.