An animated GIF is file format that contains a sequence of individual images in a single GIF file that are intended to be displayed in sequence over time. The result is that an animated GIF can be used to contain short videos and animations.
Animated GIFs are often used in place of traditional video file formats when the animation is short and sound is not required, as GIFs have no sound capability.
The video sequence is often played automatically by most GIF-displaying software, which can also be instructed to loop the video a specified number of times, or infinitely.
See also: GIF.