Предметная область

универсум,- термин теории моделей, обозначающий область изменения (пробегания) предметных переменных данного формального языка. В качестве формальных языков берутся языки узкого исчисления предикатов. Каждый такой язык полностью описывается множеством L = {P0,..., Р п,..., F0,..., Fm,...}, где Р 0,..., Р n,... - предикатные символы, a F0,..., Fm,... - функциональные символы, для каждого из к-рых указано число его аргументных мест. Модель [img: http://localhost:8080/file/041742-22.jpg] (или алгебраич. система) для Lзадается непустым множеством Ми интерпретирующей функцией I, определенной на Lи сопоставляющей n-местному предикатному символу n-местный предикат, т. е. подмножество декартовой степени М п множества М, а n-местному функциональному символу - n-местную функцию [img: http://localhost:8080/file/041742-23.jpg]. Множество Мназ. П. о. (или универсумом) модели [img: http://localhost:8080/file/041742-24.jpg].