axiom QP4 states:

A/~ countable ">" dense subset