离散数学里面是自反的是不是一定不是反自反的？

非空集合上的空关系是不满足自反的吧？

是的，不好意思。

非空集合上的空关系是，是反自反、对称、反对称、传递。

空集合上的空关系是，是自反、反自反、对称、反对称、传递。