 Solution

Statement (iii) can fail because a nontransitive ambient set can omit the elements that distinguish two of its members. TakeNeither element of $y$ has an element that also lies in $y$: the second contains $\{\varnothing \}$, which is omitted. Their predecessor sets for membership restricted to $y$ are therefore both empty, although the two elements are distinct. Hence this restricted membership relation, and any isomorphic relation, is not extensional.