ein endlich erzeugter Modul M über dem Noetherschen Ring R, für dessen Lokalisierungen M_m bei allen maximalen Idealen m von R die Tiefe t(M_m) jeweils mit der Dimension dim(M_m) als R_m-Modul übereinstimmt.