Естественное соединение отношений
Операция реляционной алгебры. При естественном соединении двух отношений образуется результирующее отношение, кортежи которого являются соединением кортежей первого и второго отношений, если значение общих атрибутов совпадает.
Запись отношения
Элементы отношения, соответствующие строкам реляционной таблицы (упорядоченное множество).
То же, что и кортеж.
Инъективное отображение
Функция , для любых элементов которой из следует .
Инъективная функция
То же, что и инъективное отображение.
Классы эквивалентности
Непересекающиеся подмножества , на которые разбивается множество .
Композиция отношений
Отношение , состоящее из всех тех пар , для которых существует такое , что и .
Кортеж
Элементы отношения, соответствующие строкам реляционной таблицы (упорядоченное множество).
Линейный порядок
Частичный порядок, если любые два элемента и из множества сравнимы, т.е. и .
Линейно упорядоченное множество
Множество , на котором задано отношение частичного порядка и для которого любые два элемента этого множества сравнимы.
Матричный способ задания отношений основан на представлении отношения соответствующей ему прямоугольной таблицей (матрицей).
Несравнимые элементы
Элементы отношения (пары , для которых ни одно из соотношений или не имеет места.
Область значений отношения
Множество всех вторых координат упорядоченных пар из бинарного отношения .
Область значений отображения
Множество , где - значения функции.
Область определения отношения
Множество первых координат упорядоченных пар из бинарного отношения .
Образ
То же, что и область значений отображения.
Обратное отношение
Подмножество множества , образованное теми парами , для которых .
Объединение отношений
Теоретико-множественная операция на отношениях. При выполнении операции объединения двух отношений получаем отношение, включающее все кортежи, входящие хотя бы в одно из отношений-операндов.
Ограничение отношений
Операция реляционной алгебры. Результатом ограничения отношения по некоторому атрибуту или атрибутам является отношение, состоящее в точности из тех кортежей, которые удовлетворяют условию .
Одноместное отношение
Подмножество множества (признак).
Отношение нестрогого порядка
Отношение в множестве такое, что для любых из выполняются свойства рефлексивности, антисимметричности, транзитивности.