Covering property axiom

From dankwiki