No FAQ available that match "separation axioms are axioms separations"