.
То есть отношениестакое, чтоявляется классом упорядоченных пар [
,], таких, что- истинно. Утверждать, чтонаходится в связи типа "члена"
сзначит утверждать, что ([ ,] Принадлежит {принадлежит}).
Функции, используемые в строго математическом смысле в подходе
интерпретируемой логики предикатов, задаются следующим образом:
.
Функция от
отношением
, значение
с таким,
которой
что
(для аргумента ) есть
. Функции - это просто
, является
специальные
отношения, где для каждого аргумента имеется единственное значение.
По разным причинам удобно использовать специфическое обозначение для
результата применения функции. Вместо,использует:
(TheПринадлежит)).
Если Удвоить =,, то Удвоить : 3=6.
Подобная конструкция допускает идентификацию класса всех сущностей,
вступающих в отношениес каким-либо членом определенного класса. Так:
(Для некоторого
( Принадлежит&Принадлежит)}).
Удобно использовать также некоторые элементарные понятия теории
множеств. Это такие обычные понятия:
Объединение:
ПринадлежитилиПринадлежит}).
Пересечение:
Принадлежит&Принадлежит}).
Дополнение:
Не (Принадлежит )}).
Подмножество: