Out of the separation axioms for topological spaces the Hausdorff condition is the most commonly encountered. It is weak enough that all "reasonable" spaces in analysis and differential geometry satisfy it, but strong enough to prevent pathological behavior. All metrizable spaces are Hausdorff (in fact, normal). Non-Hausdorff topologies are rare in most parts of pure mathematics. The simplest example of a non-Hausdorff topology is the indiscrete or trivial topology (on any space of more than one point), in which only the empty set and the entire space are open sets. A more interesting example is the Zariski topology of an algebraic variety which occurs in commutative algebra and algebraic geometry.

(Thanks Apatrix and Gorgonzola for edits.)