 Well-founded model of set theory

A model of set theory is well-founded when its internally interpreted membership relation is a well-founded relation externally. By the Mostowski collapse theorem, every well-founded extensional set model is isomorphic to a transitive model.