设在的某一领域内有定义，若对任意的，且，都有存在有限，则下列说法正确的是（）