如果X→Y且有Y包含于X,那么X→Y称为()。
出自:计算机科学