- 29,093
- 20,717
Well, it's clearer with a separate axiom than relying on an ugly and somewhat artificial interpretation of unions and intersections. And, as pointed out in an earlier post, it doesn't save any practical effort in checking that a topology satisfies the axioms.fresh_42 said:You do not allow it, you demand it! And that makes it equivalent to ##X\in \tau## only under the shell.
I am absolutely sure that we wouldn't have ##\emptyset\, , \,X \in \tau## as an axiom if it wasn't necessary. Pawel Samuilowitsch Urysohn, Ascher Zaritsky, Felix Hausdorff, Andrej Nikolaevic Tichonov, and Hans Julius Zassenhaus would have long dropped it!