аксиома отделимости

Separability axiom