By domain is meant the universe of discourse of a model for the semantic theory of a logic.
Με τον όρο τομέα εννοούμε το διάστημα του λόγου ενός μοντέλου για την σημασιολογική θεωρία της λογικής.