Axiom of Choice (AC) $$\forall x \exists f (f \text{ is a function} \wedge \forall y (y \in x \wedge y \neq \varnothing \longrightarrow f (y) \in y))$$