若X，Y，Z，W均是U的子 集，则有以下推理规则： ⑴自反律(Reflexivity Rule)：如果YX U，则XY成 立，即FXY。
基于12个网页-相关网页
reflexivity rule
自反性规则
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动