Description: A topological space is
Hausdorff iff it is both T0 and R1 (where R1
means that any two topologically distinct points are separated by
neighborhoods). (Contributed by Mario Carneiro,
25-Aug-2015.)