Lemma. Assuming that:

$M$ is transitive

Then

M ⊨ Extensionality + Foundation .