Zermelo’s postulate

If $ℱ$ is a disjoint family of nonempty sets, then there is a set $C$ which has exactly one element of each $A\in ℱ$ (i.e such that $A\cap C$ is a singleton for each $A\in ℱ$.)

This is one of the many propositions that are equivalent to the axiom of choice.