The Axiom of Plenitude asserts that every ordinal is equinumerous with a set of urelements, while its stronger form, Plenitude^+, extends it to all sets. We investigate these two axioms within ZF set theory with urelements. Assuming that cardinality is definable, Plenitude^+ unifies the Collection Principle and the Reflection Principle, which are otherwise conjectured to be non-equivalent. If either cardinality is representable or the principle of Small Violations of Choice (SVC) holds, Plenitude^+ implies the Reflection Principle. In contrast, Plenitude is considerably weaker: there are models of SVC + Plenitude where Collection fails, and models of SVC + Plenitude + Reflection where Plenitude^+ fails.
Bokai Yao (Thu,) studied this question.