标签: 离散数学如何求补元