Наследственно счетное множество
(Перенаправлено с Наследственно исчисляемое )
 | Эта статья нуждается в дополнительных цитатах для проверки . ( март 2024 г. ) |
В теории множеств множество называется наследственно счетным, если оно представляет собой счетное множество наследственно счетных множеств.
Результаты
[ редактировать ]индуктивное определение Приведенное выше хорошо обосновано и может быть выражено на языке теории множеств первого порядка .
Эквивалентные свойства
[ редактировать ]Множество наследственно счетно тогда и только тогда, когда оно счетно и каждый элемент его транзитивного замыкания счетен. [1]
См. также
[ редактировать ]Ссылки
[ редактировать ] | Эта теории множеств статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |