离散数学 向上箭头