Poincare Project: More on Separation Axioms

We previously defined types of topological spaces called T_0, T_1 and T_2 spaces. I've tried below to capture the distinction between them informally with a diagram.

Recall that a topological space is:

UPDATE: next post

The original post was in the category: poincare_project but I'm still in the process of migrating categories over.