若 |x|+|y|=0 ,可得 x=y=0 ,因此 x*y=0 ,
反之,若 x*y=0 ,则 x=0 或 y=0 .如果 x=0 而 y=1 ,则 |x|+|y|≠0 .
所以,|x|+|y|=0 是 xy=0 的充分不必要条件 .