A Theory of Closure Operators