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