在离散数学中空集有哪些性质?比如对称性等