Теоремы замкнутости и теоремы композиции. /Запись лекции и перевод выполнены Е.А. Гориным./