Separation axiom metaproperty chart