avi가 divx라는 보장 없고, mpg가 divx아니라는 보장 없습니다. divx는 인코딩 코덱일 뿐인데, 그냥 편의상 사람들이, DVD에서 DIVX코덱을 통해 추출한 영화를 디빅이라고 할 뿐이구요. avi, mpg는 동영상 확장자의 일종으로써, mpg는 우리가 흔히 접하는 비디오 씨디 포멧이라고 보시면 됩니다. 만약에, 어떤영화는 캠코더로 찍어서 DIVX코덱으로 인코딩 해서 AVI로 추출하고, 어떤 영화는 DIVX코덱을 써서, MPG로 추출하거나, 혹은 다른 방법으로 DVD-RIP을 하면, 그게 디빅이라고 할 수 있겠죠.