在有界格中,全下界0是全上界1的唯一补元,1是0的唯一补元。