如果(X,Y)→Z成立,那么X→Y、Y→Z成立。
出自:湖南大学-计算机应用技术高本