对称关系推理
禁对称关系推理
传递关系推理
禁传递关系推理
如果对于特定论域中的任一对象X、任一对象y和任一对象Z,若R(X,Y)和R(Y,Z)成立,则R(X,Z)一定不成立,那么称关系R为该论域上的禁传递关系。