ГОСТ Р ИСО 18629-13-2011
структура с внутренней бинарной операцией (ОР), по отношению к которой
справедливо соотношение вида a OP b = b ОР а.
3.1.4консервативноеопределение(conservativedefinition):
Определение, которое устанавливает необходимые и достаточные условия для
полного соответствия термина, а также не позволяет выводить новые
умозаключения из теории.
(ИСО 18629-1]
3.1.5 теория ядра (core theory): Набор аксиом для реляционных и
функциональных символов, обозначающих примитивные понятия.
[ИСО 18629-1]
3.1.6 установленная лексика (defined lexicon): Набор символов в
нелогической лексике, обозначающих установленные понятия.
Примечание - Установленная лексика состоит из констант, функций и
отношений.
Пример - Термины с консервативным определением.
(ИСО 18629-1]
3.1.7эндоморфизм(endomorphism):Отображениемножествана
некоторое подмножество, сохраняющее соотношения и функции в некоторой
модели.
3.1.8 расширение (extension): Расширение ядра PSL, содержащее
дополнительные аксиомы.
П р и м е ч а н и е1 - Ядро PSL представляет собой относительно простой
набор аксиом, достаточный для представления широкого круга основных процессов.
Однако для представления более сложных процессов требуются дополнительные
ресурсы, отсутствующие в ядре PSL. Ядро PSL с каждым понятием следует
использовать для описаний того или иного процесса, а для описания разнообразных
модульных расширений следует использовать расширение и дополнения ядра PSL. В
этом случае пользователь может использовать такой язык, который соответствует
требованиям к выразительности.
П р и м е ч а н и е2 -Всерасширенияявляютсятеориямиядраили
3