A reflexive relation that is also transitive is a preorder.
满足传递性的自反关系称为预序关系。
youdao
应用推荐
模块上移
模块下移
不移动