环(A,+,·)是无零因子环的充分必要条件是乘法适合消去律。即任意a,b,c∈A,a≠θ,每当 a·b=a·c,就有 b=c 或 b·a=c·a,就有 b=c。