If $ A = \{a_0, a_1, a_2\}.$ Suppose consider interpretations of the language $\{\in \}$ onto this domain.
Can $M$ be a model of Extensionality and Foundation? If so can there be more than one model? Can there be more than one model up to isomorphism?