离散数学中空关系不具备的性质 ~~