离散数学xry是什么意思