Набор мощности

• Мощность множества — это количество подмножеств множества. 
• Конечное двоичное представление мощности возможно только для перечислимых множеств. 
• Биномиальная теорема тесно связана с набором степеней. 
• Рекурсивное определение мощности выполняется для конечных множеств. 
• Множество подмножеств с ограниченной мощностью обозначается как Pk(S) или [S]κ. 
• Степенной набор множества является полной атомарной булевой алгеброй. 
• Обобщение на произвольные алгебры состоит в том, что множество подалгебр алгебры является алгебраической решеткой. 
• Существуют ковариантный и контравариантный функторы набора мощности. 
• Универсальный квантор может пониматься как сопряженный функтор между степенными множествами в теории категорий и теории элементарных топосов.