如果X→Y且有Y包含于X，那么X→Y称为（）。