閉じている
集合の元に関して演算をしたときに、もとの集合に属するような関係
群論での説明→閉じている(群論)
自由変数がない項は閉じているという
閉じた項はコンビネータとも呼ばれる
『型システム入門 : プログラミング言語と型の理論』 P43