En programación, estructura que repite unas determinadas operaciones un número finito de veces.