 Faithfully flat module

A flat module $M$ is faithfully flat when $N{\otimes }_{R}M=0$ implies $N=0$. Every field extension is faithfully flat over its base field.