数学の分野において、ある集合X上で定義される実数あるいは複素数値の函数fが有界函数（ゆうかいかんすう、英:boundedfunction）であるとは、その値からなる集合が有界集合であることを言う。
在数学中，如果在某个集合X上定义的具有实数或复数值的某个函数f的值域是有界集合，则函数f被称为有界的（或有界函数）。