Користувач:Dmitry Kazany/Робочі класифікатори/Теорія множин

Вікіпедія: Category:Теорія множин

• Теорія множин
  • Множина
    • Різновиди множин:
      • Підмножина <- Надмножина
      • Порожня множина <- Непорожня множина
      • Скінченна множина <- Нескінченна множина
      • Зліченна множина <- Незліченна множина
      • Універсальна множина
      • Булеан
      • Розбиття множини
      • Покриття множини
      • Впорядкована множина
        • Частково впорядкована множина
          • Ізоморфні множини <- Ізоморфізм множин
          • Фундована множина
          • Верхня грань
          • Нижня грань
          • Найбільший елемент множини
          • Найменший елемент множини
          • Максимальний елемент множини
          • Мінімальний елемент множини
        • Лінійно впорядкована множина
          • Ординал
      • Кортеж <- n-ка
        • Впорядкована пара
  • Алгебра множин
    • Булева алгебра
    • Решітка <- Решітка (в математиці)
    • Операції:
      • Об'єднання множин
      • Перетин множин
      • Різниця множин
      • Симетрична різниця множин
      • Декартів добуток множин
  • Відповідність між множинами
  • Відношення між множинами
    • Бінарне відношення
      • Властивості:
        • Рефлексивність
        • Симетричне відношення
        • Антисиметричність
        • Транзитивність
        • Антирефлексивність
      • Відношення еквівалентності
        • Клас еквівалентності
        • Фактормножина
      • Відношення порядку
        • Частковий порядок
        • Лінійний порядок
        • Строгий порядок
        • Тривіальний порядок
        • Лексикографічний порядок
    • Потужність множини
      • Кардинальне число
        • Арифметика кардиналів
  • Аксіоматична теорія множин
    • Аксіома вибору
  • Наївна теорія множин
    • Парадокс Рассела
  • Деякі важливі теореми, леми та побудови:
    • Побудова Кантора
    • Теорема Кантора-Бернштейна
    • Лема Куратовського-Цорна
    • Теорема Цермело
  • Функція (математика) <- Відображення
    • Важливі класи відображень:
      • Бієкція
      • Ін'єктивна функція
      • Сюр'єкція
    • Тотожне відображення
    • Обернене відображення
    • Образ відображення <- Прообраз відображення
    • Область визначення
    • Область значень
    • Продовження відображення <- Звуження відображення
    • Графік відображення
  • Ізоморфізм