for X being set st subset-closed_closure_of X c= X holds
X is subset-closed