Hausdorffization
Definition
Let be a topological space. For , define if any open set containing intersects any open set containing . The Hausdorffization of is a quotient map with the universal property that any continuous map from to a Hausdorff space factors uniquely through the Hausdorffization.
References
- The Hausdorff Quotient by Bart Van Munster