在一个关系中，若存在X→Y和WY→Z，则也存在WX→Z。