离散数学关系的性质