具有最小上界性的集合一定具有最大下界性
发布人