"Ibón" es como se llama en Aragón a los lagos glaciares de las montañas de los Pirineos.  Los ibones se formaron al deshelarse los glaciares de las altas cumbres del Pirineo, formando lagunas en las cubetas y depresiones entre montañas. Muchos de ellos se van poco a poco colmatando con sedimentos, pudiendo llegar a desaparecer con el tiempo.