閉じている

集合の元に関して演算をしたときに、もとの集合に属するような関係