是微分學的必要條件，多半在實數的完備性條件下討論。