closure operator in German

(mathematics, topology, algebra, "on" a set S) 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).