书上是这样说的：非空集合上的空关系是反自反的，对称的，反对称的和可传递的，但不是自反的。空集合上的空关系则是自反的，反自反的，对称的，反对称的和可传递的。另外这些性质一般是指脸集合间的二元关系的性质，而不是某些集合的性质。
谈到性质，确切地说应是空关系。空关系是对称的，是传递的，是反对称的
有反自反的，结果还是本身。
