Jabarkan Domain dari Struktur (logika matematika)

domain dari sebuah struktur adalah himpunan arbitrer; itu juga disebut himpunan yang mendasari struktur, pembawa (terutama dalam aljabar universal), atau universal (khususnya dalam teori model). Dalam logika orde pertama klasik, definisi struktur melarang domain kosong.

Terkadang notasi  atau  digunakan untuk domain , tetapi sering kali tidak ada perbedaan notasi yang dibuat antara struktur dan domainnya. (Yaitu simbol yang sama  mengacu pada struktur dan domainnya.)