Система представителей отношения эквивалентности

Подмножество из множества , содержащее по одному и только одному элементу из каждого класса некоторого разбиения множества.

Соответствие

Если и , то и . В таких случаях есть отношение от к , называется соответствиеми обозначается .

Сравнимые элементы

Элементы и называются сравнимыми в отношении частичного порядка , если выполняется хотя бы одно из соотношений или .

Схема отношения

Список атрибутов реляционной таблицы.

Сюръективное отображение

Функция называется сюръективным отображением, если . Для сюръективной функции для любого существует такой, что .

Сюръективная функция

То же, что и сюръективное отображение.

Тождественное отношение

Отношение, равносильное .

Транзитивность

Отношение называется транзитивным, если , т.е. из и следует .

Унарное отношение

То же, что и одноместное отношение.

Универсальное отношение

То же, что и полное отношение.

Упорядоченное множество

Множество, в котором определено отношение порядка.

Фактор-множество

Множество всех сечений отношения называется фактор-множеством множества по отношению и обозначают .

Функциональное отношение

Отношение называется функциональным, если его элементы (упорядоченные пары ) имеют различные первые координаты.

Функция

То же, что и отображение

Цепь

То же, что и линейно упорядоченное множество.

Частично упорядоченное множество

Если на множестве задано отношение частичного порядка, то это множество называется частично упорядоченным.

Частичная функция

Если вместо в функциональном отношении выполняется , то называется частичной функцией.

Основы математической логики

Двоичная логика. Булевы функции и преобразования

N-мерный булевый куб

Множество всех двоичных слов (обозначаемое как ), содержит элементов-слов, т.е. .

Алгебра Жегалкина

Алгебра , образованная множеством вместе с операциями конъюнкции (), суммы по модулю 2 () и константами 0 и 1.

Алгебра логики

Двухэлементная булева алгебра , где носитель алгебры , и в которой множество операций дополнено двумя бинарными операциями: импликацией и эквивалентностью .