Out of idle curiosity, I'm wondering about all the various idempotent constructions we have in mathematics (they seem to be generally referred to as a "closure" or "completion"), and how some of them are related (e.g., the radical of an ideal and the closure of a subset of $k^n$ in the Zariski topology, via the Nullstellensatz - the radical and the topological closure both being idempotent). 


So, one answer per post, but if you have two concepts which are related, I guess it'd be okay to put them together. For the sake of the completeness (ha ha) of this list, I'll add "radical" and "topological closure".


EDIT: My bad - I should have looked around more first. There's [this list](http://en.wikipedia.org/wiki/Closure_%28mathematics%29) at Wikipedia and [this list](http://ncatlab.org/nlab/show/completion#list_of_completions_2) at nLab. Well, I'm sure there's plenty more concepts out there, so if you think of any more, feel free to add them. But let's focus on how some of these concepts are related - e.g., does one kind of completion arise in terms of another? What are some general ways in which completions and closures arise?



Various concepts of "closure" or "completion" in mathematics
In general, if $A\subset B$ is a full reflective subcategory, then each object $a\in A$ is isomorphic to its image under the reflector. This seems to include many cases: $\mathbf{Ab}\subset \mathbf{Grp}$, $\mathbf{CompMet}\subset\mathbf{Met}$, $\mathbf{Top}\_{n+1}\subseteq \mathbf{Top}\_{n}$ (as in [Why is Top\_4 a reflective subcategory of Top\_3?](https://mathoverflow.net/questions/9504/why-is-top4-a-reflective-subcategory-of-top3)), etc.


EDIT: Following Pete L. Clark's comment, here is a clarification: The subcategory $A$ above is called reflective if the inclusion functor $A\subset B$ has a left adjoint, and full if this inclusion functor is full. In case $A$ is a reflective subcategory, the left adjoint to the inclusion functor is called a reflector.


