You certainly can do that, but it's not the only way. Even in this universe, I would expect to show that concrete sets A and B are disjoint by showing x ∈ A → x ∉ B, which makes perfect sense even without an empty set.

> In an alternative axiomatization (without the empty set) you’re going to need to create some special element which belongs to every set and then your definition of disjoint sets is that their intersection is equal to the trivial set containing only the special element. What a clumsy hack that would be!

Rather, in this alternate universe, intersection is partially defined. Again, even in this universe, we're used to accepting some operations being partial!

Yes, but then topology becomes a very tedious exercise because so many proofs rely on the fact that the empty set is contained in every topology, that the empty set is both closed and open, and that intersections frequently yield the empty set. With partially defined intersection you're forced to specially handle every case where two sets might be disjoint.

Certainly this would be a good objection if I proposed to get rid of empty sets in our universe. (I don't!) But an alternate universe that developed this way would have either just accepted that topology was an inherently ugly subject, or worked out some equivalent workaround (for example, with testing topologies by {0, 1}-valued functions, of which we can take maxima and minima to simulate unions and intersections without worrying about the possibility of an intersection being empty), or else come up with some other approach entirely. (There is, after all, nothing sacred about a topology being specified by its open sets; see the discussion at https://mathoverflow.net/questions/19152/why-is-a-topology-m.... That's how history shook out for us, but it's hardly an inevitable concept except for those of us who have already learned to think about things that way.)

I am not claiming that this would be an improvement (my suspicion is that it would be an improvement in some ways and a regression in others), just that I think that it is not unimaginable that history could have developed this way. It would not then have seemed that the definitions and theorems were artificially avoiding the concept of an empty set, because the mathematical thought of the humans who make those definitions and theorems would simply not think of the empty set as a thing, and so would naturally have taken what seem to us like circuitous tours around it. Just as, surely, there are circuitous tours that we take in our universe, that could be made more direct if we only phrased our reasoning in terms of ... well, who knows? If I knew, then that's the math that I'd be doing, and indeed I see much of the research I do as attempting to discover the "right" direct path to the conclusion, whether or not it's the approach that fits in best with the prevailing thought.

I know that at one time we did mathematics without the number zero and that its introduction was a profound (and controversial) change. The empty set seems like a perfectly natural extension of zero as a concept. Perhaps the universe with no empty set also has no zero? Would be very interesting to see how mathematics would develop without either construct.