定理定理10.4.1 A上自反的关系,则也是A上自反的关系。
证明证明 对任意的x,有
  
  
  所以,A上自反的关系。
  对的证明类似。
定理定理10.4.2 A上对称的关系,则也是A上对称的关系。
证明证明 对任意的,有
  
  
  所以,A上对称的关系。
  对的证明类似。
定理定理10.4.3 A上传递的关系,则A上的传递关系。
证明证明 对任意的,有
  
  
  
  所以,A上传递的关系。
  
  
  
  
  所以,A上传递的关系。
  注意,不一定是传递的。
例题例10上的关系都是A上传递的关系。但是,不是A上传递的。
定理定理10.4.4 A上反对称的关系,则A上反对称的关系。
证明证明 为了证明方便,把反对称性的充要条件等价地改写为
  
  对任意的,有
  
  
  所以,A上反对称的。
  
  
  
  
  
  所以,A上反对称的。
  注意,这时不一定是反对称的。
例题例11上的关系都是A上反对称的。但是,不是 上A反对称的。
定理定理10.4.5A上的关系R,则
  (1) R是对称的,可得
  (2) R是反对称的
证明证明
  (1)先设R是对称的,对任意的,可得
  
  所以,
  再设,对任意的,可得
  
  所以,R是对称的。
  (2)先设R是反对称的,对任意的,可得
  
  
  
  所以,
  再设,对任意的,可得
  
  
  
  
  所以,R是反对称的。