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