"separation axioms" Deutsche bedeutung