logo
АТЧ_Моисеев_С

§ 3. Декартово (прямое) произведение множеств. Бинарные отношения

Упорядоченная пара элементов. (a, b).

Основное свойство: (a, b) = (c, d) Û a = cÙb = d.

Декартово произведение двух множеств. А1´А2.

Упорядоченная n-ка элементов (кортеж длины n). (а1, а2, ..., аn). Декартово произведение n множеств. Декартов квадрат А2 и декартова степень Аn.

Бинарные отношения. Проекции, график, граф бинарного отношения. Обратное бинарное отношение. -1. Частные виды бинарных отношений. Всюду определённые, сюръективные, функциональные, инъективные, биективные бинарные отношения.

Рефлексивные, антирефлексивные, симметричные, асимметричные, антисимметричные, транзитивные, линейные (= связные) бинарные отношения. Диагональное и универсальное отношения.