"H\u00FCllenoperator"@de . . . . . . . . . . . . "Closure operator"@en . . . . . . .