(Q2276975)

set-theoretic axiom, equivalent to the negation of the continuum hypothesis, that for any function 𝑓 mapping the reals to countable subsets of the reals, there exist two reals such that neither belongs to the image under 𝑓 of the other