Axiom of Foundation (Strong Form)

Theorem
Let $B$ be a class.

Suppose $B$ is non-empty.

Then $B$ has a strictly minimal element under $\in$.