函数的有界性是数学术语，设函数f(x)的定义域为D，f(x)在集合D上有定义。如果存在数K1，使得 f(x)≤K1对任意x∈D都成立，则称函数f(x)在D上有上界。
反之，如果存在数字K2，使得 f(x)≥K2对任意x∈D都成立，则称函数f(x)在D上有下界，而K2称为函数f(x)在D上的一个下界。
如果存在正数M，使得 |f(x)|≤M 对任意x∈D都成立，则称函数在D上有界。如果这样的M不存在，就称函数f(x)在D上无界；等价于，无论对于任何正数M，总存在x1属于X，使得|f(x1)|>；M，那么函数f(x)在X上无界。
正切函数的有界性
y=tanx，它的值琙(-无限大，正无限大)，无界函数。