离散数学最小元素