En 1247 se cita como Arevaliello, quizás como topónimo prerromano derivado de Are-valon, que significa junto al muro.