closedness->closure