axiom QP4 states:

A/~ countable ">" dense subset


source
jl@crush.caltech.edu index
probability