Ein R {\displaystyle {}R} -Modul M {\displaystyle {}M} über einem kommutativen Ring R {\displaystyle {}R} heißt treuflach, wenn er flach ist und wenn für jeden R {\displaystyle {}R} -Modul N ≠ 0 {\displaystyle {}N\neq 0} auch M ⊗ R N ≠ 0 {\displaystyle {}M\otimes _{R}N\neq 0} ist.
