Sei x = 〈 G, A, R 〉 ein Modell. G ist die Grundmenge, A die Hilfsbasismenge 
und R ⊂ G × A, eine injektive Funktion. Wir fügen dem Modell eine weitere 1-stellige Relation R ‚ hinzu.
a) R ‚ soll eine Teilmenge von G sein. Beschreiben Sie die zugehörige Typisierung τ ‚ für R ‚.
b) Formulieren Sie eine Hypothese H * für R ‚, welche folgendes besagt: genau die Elemente aus R ‚ werden durch R den ungeraden Zahlen zugeordnet. Beschreiben Sie die Hypothese H * in mengentheoretischer Form.
c) Formulieren Sie die Eindeutigkeitsbedingung für R ‚. D.h. wenn R * eine Teilmenge von G ist und die Hypothesen für das Modell und die hinzugenommene Hypothese H * auch auf R * zutreffen, gilt: R ‚ = R *. Formulieren Sie diesen Satz rein mengentheoretisch.