closure operator

Short definition from Wiktionary

Noun

1. 1
   A function which maps any subset X of S onto another such subset (or possibly X itself) called the closure of X (thus providing a mathematical means to define closure).