Coba jelasin Definisi dari Pengurangan (teori model) dong

Misalkan  menjadi struktur aljabar (dalam arti aljabar semesta) atau sebuah struktur dalam arti teori model, disusun sebagai sebuah himpunan  bersama dengan sebuah keluarga berindeks operasi dan relasi  pada himpunan tersebut, dengan himpunan indeks . Maka pengurangan  didefinisikan oleh sebuah himpunan bagian  dari  adalah struktur terdiri dari himpunan  dan keluarga berindeks- mengenai operasi dan relasi yang operasi atau relasi ke- untuk  adalah operasi atau relasi ke- dari . Yaitu, pengurangan ini adalah sturktu  dengan penghilangan mengenai operasi-operasi tersebut dan relasi  yang mana  tidak di dalam .

Sebuah struktur  adalah sebuah pengembangan dari  ketika  adalah sebuah pengurangan dari . Yakni, pengurangan dan pengembangan adalah kebalikan bersama.