The closure of a set in a topology - we have $\overline{\bar{X}}=\bar{X}$.