Definition, Konstruktion und Eigenschaften der Ganzzahlenschließung