Struktur (logika matematika)

Dalam aljabar universal dan dalam teori model, struktur terdiri dari himpunan bersama dengan kumpulan operasi finiter dan relasi yang ditentukan di atasnya. Struktur studi aljabar universal yang menggeneralisasi struktur aljabar seperti grup, gelanggang, bidang dan ruang vektor. Istilah aljabar universal digunakan untuk struktur tanpa simbol relasi. Teori model memiliki cakupan berbeda yang mencakup teori yang lebih sewenang-wenang, termasuk struktur dasar seperti model teori himpunan. Dari sudut pandang model-teori, struktur adalah objek yang digunakan untuk mendefinisikan semantik logika urutan pertama. Untuk teori tertentu dalam teori model, struktur disebut model 'jika memenuhi aksioma yang menentukan teori itu, meskipun kadang-kadang disamarkan sebagai model semantik ketika seseorang membahas gagasan dalam pengaturan yang lebih umum dari model matematika. Ahli logika terkadang menyebut struktur sebagai interpretasi. Dalam teori database, struktur tanpa fungsi dipelajari sebagai model database relasional, dalam bentuk model relasional.