Ibón es el término aragonés que designa a los pequeños lagos de montaña de origen glaciar situados en los Pirineos , generalmente por encima de los 2.000 m. Muchos de ellos son el origen de los cursos de agua de Aragón .
En total hay 94 ibónes de diferentes formas y tamaños; algunos de ellos se utilizan para alimentar pequeñas centrales hidroeléctricas.
Los ibónes de Anayet, Sabocos , Ip o Estanés son los más conocidos.
ibón proviene con casi seguridad del vocablo vasco ibai (río), que originariamente designaba fuentes termales.
Como el terreno donde se encuentra el manantial forma una cuenca, muchas veces provocada por la presencia antigua de un glaciar, estas aguas forman un lago grande o pequeño dependiendo de las características morfológicas de la zona.
Existen, según la leyenda local, Ibóns encantados, donde viven hadas, como el Plan .
Lagos en los Pirineos