(1)对一切,有,即是的下界; (2)对任何,存在,使得,即又是的最大下界,则称为数集的下确界,记作.
(1)对一切,有,即是的下界;
(2)对任何,存在,使得,即又是的最大下界,则称为数集的下确界,记作.