已知关系R是反对称的、传递的,由aRb真可得知();由aRb真且bRc真可得知()。
出自:哲学