凹凸函數的下閉包