Mathematika Wiki
Advertisement

Сигнатура, образованная множествами[]

Упорядоченная тройка множеств сигнатура (англ. signature, нем. Signatur oder Symbolmenge), образованная множествами , или кратко сигнатура, если множество удовлетворяет следующим условиям:

  1. множества взаимнодизъюнктны,
  2. множество является функцией, действующей из объединения множеств в множество-бесконечность :

Обозначим .

Связанные определения[]

Алфавит отношений;

Алфавит операций;

Символ отношения;

Символ операции;

Функция местности.

Таким образом, сигнатуру, образованную множествами будем также называть сигнатурой с алфавитом отношений , алфавитом операций и функцией местности или кратко сигнатурой.

Advertisement