>>13358630>and honestly I never saw the point of the empty setIf you negate Empty Set, then intersection can't be viewed as an total algebraic operation anymore, and in turn the Separation axiom is complicated too.
Jointly, consider the operation "without" operation
A \ B = {x in A | not(x in B)}
then the question would arise what
A \ A
maps to, if anything at all, if you negated Empty Set
