ДМ и Топ - лекция 25.09.2024

Предикаты и семейства как отображения. Булевы функции. Объединения, пересечения, прямые произведения бесконечных семейств множеств. Фактормножества, канонические проекции и их универсальное свойство. Частично упорядоченные множества, порядковые изоморфизмы.