Для некоторого(Принадлежит)}).
Правый домен произвольного отношения:
Для некоторого(Принадлежит)}).
Известно, что все математические конструкции могут быть определены в
терминах множеств. Здесь это не делается. Однако предполагается, что это
проделано таким образом, что все промежуточные определения являются
аксиомами. Явно необходимы для примера лишь такие конструкции:
Для того чтобы говорить об именах сущностей, необходимо ввести в качестве
индивидов надписи - экземпляры типографских строк (а также их отображения в
памяти компьютера) и классы надписей, рассматриваемых как эквивалентные
(представляющие одни и те же абстрактные символы).
Для этого используется тот же метод, что и рассматриваемый здесь для
концептуальной схемы и информационной базы. Начинаем, как обычно, с
примитивных предикатов. Существуют три таких необходимых примитива:
надписи, соединение и лексикографическая последовательность.
Надписи - это конечные линейные последовательные образы, составленные
из более или менее связанных графических элементов (глифов), выбранных из
алфавита знаков. Важно отметить, что каждый экземпляр физической
реализации надписи отличается от каждой другой такой физической реализации.
Четвертый и шестой глифы в слове "надписи" - различные надписи, хотя они
являются членами одного и того же знака. С учетом этих различий приводятся
следующие пояснения соответствующих примитивных предикатов.
Надпись
0, 1, 2,Последовательность натуральных чисел (нуль есть пустое
...множество);
Класс всех натуральных чисел;
Класс всех положительных действительных чисел;
< , >
Предикаты арифметического порядка;
+, -, *, /
Традиционные арифметические операторы;
Функция мощности, т.е.:- это кардинальное число - число
элементов в классе, обозначенное ;
Среднее
Арифметическое среднее функции, то есть Среднее:-
арифметическое среднее значение функции, обозначенной , при
условии, что эти значения являются действительными числами.