At high collision energies nuclei consist of a very dense system of partons. Within high density QCD the parton density is expected to saturate. Several aspects of saturation are reviewed. As a basic application we consider DIS off nuclei. The main emphasis is given to a saturation model derived from non-linear QCD evolution. A comparison with experimental data is presented.