离散数学中关系是空集 表示的是什么意义呢?为什么说具有反自反性