如果关系R是反传递性的，则由aRb和bRc为前提，可推出（）。