Jabarkan Struktur relasional dari Homomorfisme

Dalam teori model, pengertian struktur aljabar dirampatkan ke struktur yang melibatkan operasi dan relasi. Misalkan  menjadi tanda tangan yang terdiri dari simbol fungsi dan relasi, dan struktur ,  menjadi dua struktur-. Kemudian homomorfisme dari  ke  adalah pemetaan  dari ranah  ke ranah  sedemikian rupa sehingga

untuk setiap simbol fungsi ary- dari  dalam ,

menyiratkan  untuk setiap simbol relasi ary-dari dalam .

Dalam kasus khusus dengan hanya satu relasi biner, kita mendapatkan gagasan tentang sebuah homomorfisme graf. Untuk pembahasan rinci tentang homomorfisme relasional dan isomorfisme lihat.