User:Expensivehat/AC

$$ \forall x \exists f \forall y \left(y \isin x \and y \neq \varnothing \Rightarrow   f(y) \isin y\right) $$