[离散数学]证明:在有界分配格中,所有具有补元的元素构成一个子格