AVI: Audio Video Interleave 是一个container format
MPEG-4: 是视频编码技术
XviD: 实现了MPEG-4的程序库
DivX: 另一个实现了MPEG-4的程序库
libavcodec: 实现了MPEG-4及大量其他编码格式的程序库
FFmpeg: 一个项目名称，libavcodec是它的产品之一
mencoder: 使用了XviD，libavcodec等其他程序库的视频编码解码器。打个比喻的话，XviD，libavcodec等相当于libc，而mencoder 相当于使用了libc的程序