利用传递性的定义：若a→b， b→c，则a→c也即如果存在二元关系, 必然存在二元关系如果找到反例，这说明不满足传递性否则，满足传递性
传递性是在逻辑学和数学中，若对所有的 a，b，c 属于 X，下述语句保持有效，则集合 X 上的二元关系 R 是传递的：「若a 关系到 b 且 b 关系到 c， 则 a 关系到 c。」
