哈斯图上界下界定义是什么