数学において、函数formula_1が閉(へい、)であるとは、各formula_2に対して劣位集合formula_3が閉集合であることをいう。