Editing Elementary class (section)

=== Pseudo-elementary class that is non-elementary ===
Finally, consider the signature σ consisting of a single unary relation symbol ''P''. Every σ-structure is [[partition of a set|partitioned]] into two subsets: Those elements for which ''P'' holds, and the rest. Let ''K'' be the class of all σ-structures for which these two subsets have the same [[cardinality]], i.e., there is a bijection between them. This class is not elementary, because a σ-structure in which both the set of realisations of ''P'' and its complement are countably infinite satisfies precisely the same first-order sentences as a σ-structure in which one of the sets is countably infinite and the other is uncountable.

Now consider the signature <math>\sigma'</math>, which consists of ''P'' along with a unary function symbol ''f''. Let <math>K'</math> be the class of all <math>\sigma'</math>-structures such that ''f'' is a bijection and ''P'' holds for ''x'' [[iff]] ''P'' does not hold for ''f(x)''. <math>K'</math> is clearly an elementary class, and therefore ''K'' is an example of a pseudo-elementary class that is not elementary.