前者不能退出后者,但是后者能推出前者.
所以是必要而不充分条件.
证明,前者xy对称可以互换.
所以后面的x,y互换以后也成立,因此前者不能推出后者.