- subcountable
-
Being the target of a partial surjection from the natural numbers, such that the set of numbers used to count is no larger than the set being counted.
Wikipedia foundation.
subcountable
Look at other dictionaries:
Subcountability — In constructive mathematics, a collection is subcountable if there exists a partial surjection from the natural numbers onto it. The name derives from the intuitive sense that such a collection is no bigger than the counting numbers. The concept… … Wikipedia
Cantor's diagonal argument — An illustration of Cantor s diagonal argument for the existence of uncountable sets. The sequence at the bottom cannot occur anywhere in the list of sequences above. Cantor s diagonal argument, also called the diagonalisation argument, the… … Wikipedia
subcountability — noun The property of being subcountable … Wiktionary
