  For any line bundle written as a subtraction of two ample line bundles, Siu's
inequality gives a criterion on its bigness. We generalize this inequality to a
relative case. The arithmetic meaning behind the inequality leads to its
application on algebraic dynamic systems, which is the equidistribution theorem
of generic and small net of subvarieties over a function field.
