反传递关系

二元关系R是反传递关系(anti-transitive relation)，当且仅当对任意对象a、b、c，如果a和b有关系R，b和c有关系R，那么a和c没有关系R。如“父子”关系。反传递关系是一种特殊的关系，指由甲、乙和乙、丙都有，可推知甲、丙一定没有的那种关系，集合A上的二元关系R，对任何a，b，c∈A，当aRb，bRc时，有a c(¬(aRc))。