Si $|A| > |B|$ entonces $|A-B| > |B-A|$ ?
¿Puede demostrarse sin ¿el axioma de la elección? Yo creo que sí. Esto es lo que pienso. Desde $|A|>|B|$ existe una función inyectiva desde $B$ a $A$ pero ninguna función biyectiva. Supongamos por reductio que existe una función biyectiva de $B-A$ a $A-B$ . Dado que existe una función biyectiva desde $A\cap B$ a sí misma, es decir, la función identidad, eso significaría que existe una función biyectiva desde $B$ a $A$ . Contradicción, por lo que no existe una función biyectiva desde $B-A$ a $A-B$ . Lo que queda por demostrar es que existe una función inyectiva de $B-A$ a $A-B$ . Si no existiera una función inyectiva desde $B-A$ a $A-B$ entonces no hay ninguna función inyectiva desde $B$ a $A$ ya que definitivamente existe una función inyectiva, es decir, la función identidad, de $A\cap B$ a sí misma. Contradicción, por lo que debe existir una función inyectiva desde $B-A$ a $A-B$ . ¿Es correcto?