Подмножество из множества 
, содержащее по одному и только одному элементу из каждого класса некоторого разбиения множества.
Соответствие
Если 
и 
, то 
и 
. В таких случаях 
есть отношение от к 
, называется соответствиеми обозначается 
.
Сравнимые элементы
Элементы 
и 
называются сравнимыми в отношении частичного порядка , если выполняется хотя бы одно из соотношений 
или 
.
Схема отношения
Список атрибутов реляционной таблицы.
Сюръективное отображение
Функция 
называется сюръективным отображением, если 
. Для сюръективной функции для любого существует такой, что 
.
Сюръективная функция
То же, что и сюръективное отображение.
Тождественное отношение
Отношение, равносильное 
.
Транзитивность
Отношение 
называется транзитивным, если 
, т.е. из 
и 
следует 
.
Унарное отношение
То же, что и одноместное отношение.
Универсальное отношение
То же, что и полное отношение.
Упорядоченное множество
Множество, в котором определено отношение порядка.
Фактор-множество
Множество всех сечений отношения называется фактор-множеством множества по отношению и обозначают 
.
Функциональное отношение
Отношение 
называется функциональным, если его элементы (упорядоченные пары 
) имеют различные первые координаты.
Функция
То же, что и отображение
Цепь
То же, что и линейно упорядоченное множество.
Частично упорядоченное множество
Если на множестве задано отношение частичного порядка, то это множество называется частично упорядоченным.
Частичная функция
Если вместо 
в функциональном отношении выполняется 
, то 
называется частичной функцией.
Основы математической логики
Двоичная логика. Булевы функции и преобразования
N-мерный булевый куб
Множество всех двоичных слов (обозначаемое как 
), содержит 
элементов-слов, т.е. 
.
Алгебра Жегалкина
Алгебра 
, образованная множеством 
вместе с операциями конъюнкции (
), суммы по модулю 2 (
) и константами 0 и 1.
Алгебра логики
Двухэлементная булева алгебра 
, где носитель алгебры 
, и в которой множество операций дополнено двумя бинарными операциями: импликацией 
и эквивалентностью 
.
Булева алгебра (двухэлементная)
Алгебраическая структура 
, где и операция есть конъюнкция 
, 
есть дизъюнкция 
, «
» есть отрицание 
.
Булева функция
Функция вида 
, аргументы 
и значения которой принадлежат множеству 
.
Булевы константы
Значения 0 и 1 из множества 
.
Булевы переменные
Переменные, которые могут принимать значения только из множества .
Булевый базис
Базис, состоящий из отрицания, дизъюнкции и конъюнкции.
Булевый набор
Совокупность конкретных значений аргументов булевой функции.
Двоичное слово (
-слово)
Совокупность конкретных значений аргументов булевой функции.
Двойственная функция
Функция 
называется двойственной к функции 
, если 
.
