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