 The Mostowski model arises if \(A=\oQ\) and H is the group of automorphisms of \((\oQ,&lt;)\). In the Mostowski model the set A can be linearly ordered but not well-ordered. The Axiom of Choice holds for (sets of) non-empty finite sets.