divxonline definicion de industrial