递归-冗余关系