Axiom of Foundation (Strong Form)

Theorem
Let $B$ be a class.

Suppose $B$ is non-empty.

Then $B$ has a $\in$-minimal element.