不学无术

定义：若全序集AAA的每一个有上界的非空子集A0A_0A0​必有上确界，则称AAA具有上确界性质。同样，若全序集AAA的每一个有下界的非空子集A0A_0A0​必有下确界，则称AAA具有下确界性质论断：全序集AAA具有上确界性质当且仅当它具有下确界性质证明：设PPP:AAA具有上确界性质,QQQ:AAA具有下确界性质设A0A_0A0​是AAA的任意非空子集，且具有下界。设集合M={m∣,mM =\{ m|,mM={m∣,m是A0A_0A0​的下界}\}}MMM显然具有上界。由PPP，MMM具有上确界