上整除关系偏序集的哈斯图为，则子集的上界（）