show/hide this revision's text 1 [made Community Wiki]

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