如果关系R是反传递性的,则由aRb和bRc为前提,可推出()。
出自:哲学