Given a first-order vocabulary 𝜏, 𝐿_{𝜔𝜔}(𝜏) is the set of first-order sentences of type 𝜏. The elementary topology on the class 𝑆𝑡_{𝜏} of first-order structures type 𝜏 is obtained by taking the family of elementary classes

𝑀𝑜𝑑(𝜑) = {𝑀:𝑀 |= 𝜑}, 𝜑 ∈ 𝐿_{𝜔𝜔}(𝜏)

as an open basis. Due to the presence of classical negation, this family is also a closed basis and thus the closed classes of 𝑆𝑡_{𝜏} are the first-order axiomatizable classes 𝑀𝑜𝑑(𝑇), 𝑇 ⊆ 𝐿_{𝜔𝜔}(𝜏). Possible foundational problems due to the fact that the topology is a class of classes may be settled observing that it is indexed by a set, namely the set of theories of type 𝜏.

The main facts of model theory are reflected by the topological properties of these spaces. Thus, the **downward Löwenheim-Skolem theorem** for sentences amounts to topological density of the subclass of countable structures. **Łoś theorem on ultraproducts** grants that U-limits exist for any ultrafilter 𝑈, condition well known to be equivalent to topological compactness, and to model theoretic compactness in this case.

These spaces are not Hausdorff or T_{1}, but having a clopen basis they are regular; that is, closed classes and exterior points may be separated by disjoint open classes. All properties or regular compact spaces are then available: normality, complete regularity, uniformizability, the **Baire property**, etc.

Many model theoretic properties are related to the continuity of natural operations between classes of structures, where operations are seen to be continuous and play an important role in abstract model theory.

A topological space is regular if closed sets and exterior points may be separated by open sets. It is normal if disjoint closed sets may be separated by disjoint open sets. Thus, normality does not imply regularity here. However, a regular compact space is normal. Actually, a regular **Lindelöf space** is already normal

Consider the following equivalence relation in a space 𝑋: 𝑥 ≡ 𝑦 ⇔ 𝑐𝑙{𝑥} = 𝑐𝑙{𝑦}

where 𝑐𝑙 denotes topological adherence. Clearly, 𝑥 ≡ 𝑦 iff 𝑥 and 𝑦 belong to the same closed (open) subsets (of a given basis). Let 𝑋_{/≡} be the quotient space and 𝜂 : 𝑋 → 𝑋_{/≡} the natural projection. Then 𝑋_{/≡} is T_{0} by construction but not necessarily Hausdorff. The following claims thus follow:

a) 𝜂 : 𝑋 → 𝑋_{/≡} induces an isomorphism between the respective lattices of **Borel subsets** of 𝑋 and 𝑋_{/≡}. In particular, it is open and closed, preserves disjointedness, preserves and reflects compactness and normality.

b) The assignment 𝑋 → 𝑋_{/≡} is functorial, because ≡ is preserved by continuous functions and thus any continuous map 𝑓 : 𝑋 → 𝑌 induces a continuous assignment 𝑓_{/≡} : 𝑋_{/≡} → 𝑌_{/≡} which commutes with composition.

c) 𝑋 → 𝑋_{/≡} preserves products; that is, (𝛱_{𝑖}𝑋_{𝑖})_{/≡} is canonically homeomorphic to 𝛱_{𝑖}(𝑋_{𝑖/≡}) with the product topology (monomorphisms are not preserved).

d) If 𝑋 is regular, the equivalence class of 𝑥 is 𝑐𝑙{𝑥} (this may fail in the non-regular case).

e) If 𝑋 is regular, 𝑋_{/≡} is Hausdorff : if 𝑥 ≢ 𝑦 then 𝑥 ∉ 𝑐𝑙{𝑦} by (d); thus there are disjoint open sets 𝑈, 𝑉 in 𝑋 such that 𝑥 ∈ 𝑈, 𝑐𝑙{𝑦} ⊆ 𝑉, and their images under 𝜂 provide an open separation of 𝜂𝑥 and 𝜂𝑦 in 𝑋_{/≡} by (a).

f) If 𝐾_{1} and 𝐾_{2} are disjoint compact subsets of a regular topological space 𝑋 that cannot be separated by open sets there exist 𝑥_{𝑖} ∈ 𝐾_{𝑖}, 𝑖 = 1, 2, such that 𝑥_{1} ≡ 𝑥_{2}. Indeed, 𝜂𝐾_{1} and 𝜂𝐾_{2} are compact in 𝑋_{/≡} by continuity and thus closed because 𝑋_{/≡} is Hausdorff by (e). They can not be disjoint; otherwise, they would be separated by open sets whose inverse images would separate 𝐾_{1} and 𝐾_{2}. Pick 𝜂𝑥 = 𝜂𝑦 ∈ 𝜂𝐾_{1} ∩ 𝜂𝐾_{2} with 𝑥 ∈ 𝐾_{1}, 𝑦 ∈ 𝐾_{2}.

Clearly then, for the elementary topology on 𝑆𝑡_{𝜏}, the relation ≡ coincides with elementary equivalence of structures and 𝑆𝑡_{𝜏/≡} is homeomorphic to the Stone space of complete theories.