What does subcountability mean?
Definitions for subcountability
sub·count·abil·i·ty
This dictionary definitions page includes all the possible meanings, example usage and translations of the word subcountability.
Wiktionary
subcountabilitynoun
The property of being subcountable.
Wikipedia
Subcountability
In constructive mathematics, a collection X {\displaystyle X} is subcountable if there exists a partial surjection from the natural numbers onto it. This may be expressed as where f : I ↠ X {\displaystyle f\colon I\twoheadrightarrow X} denotes that f {\displaystyle f} is a surjective function from a I {\displaystyle I} onto X {\displaystyle X} . The surjection is a member of N ⇀ X {\displaystyle {\mathbb {N} }\rightharpoonup X} and here the subclass I {\displaystyle I} of N {\displaystyle {\mathbb {N} }} is required to be a set. In other words, all elements of a subcountable collection X {\displaystyle X} are functionally in the image of an indexing set of counting numbers I ⊆ N {\displaystyle I\subseteq {\mathbb {N} }} and thus the set X {\displaystyle X} can be understood as being dominated by the countable set N {\displaystyle {\mathbb {N} }} . Note that nomenclature of countability and finiteness properties vary substantially, historically. The discussion here concerns the property defined in terms of surjections onto the set in question.
Wikidata
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 is trivial in classical set theory, where a set is subcountable if and only if it is finite or countably infinite. Constructively it is consistent to assert the subcountability of some uncountable collections such as the real numbers. Indeed there are models of the constructive set theory CZF in which all sets are subcountable and models of IZF in which all sets with apartness relations are subcountable.
Numerology
Chaldean Numerology
The numerical value of subcountability in Chaldean Numerology is: 4
Pythagorean Numerology
The numerical value of subcountability in Pythagorean Numerology is: 4
Translation
Find a translation for the subcountability definition in other languages:
Select another language:
- - Select -
- 简体中文 (Chinese - Simplified)
- 繁體中文 (Chinese - Traditional)
- Español (Spanish)
- Esperanto (Esperanto)
- 日本語 (Japanese)
- Português (Portuguese)
- Deutsch (German)
- العربية (Arabic)
- Français (French)
- Русский (Russian)
- ಕನ್ನಡ (Kannada)
- 한국어 (Korean)
- עברית (Hebrew)
- Gaeilge (Irish)
- Українська (Ukrainian)
- اردو (Urdu)
- Magyar (Hungarian)
- मानक हिन्दी (Hindi)
- Indonesia (Indonesian)
- Italiano (Italian)
- தமிழ் (Tamil)
- Türkçe (Turkish)
- తెలుగు (Telugu)
- ภาษาไทย (Thai)
- Tiếng Việt (Vietnamese)
- Čeština (Czech)
- Polski (Polish)
- Bahasa Indonesia (Indonesian)
- Românește (Romanian)
- Nederlands (Dutch)
- Ελληνικά (Greek)
- Latinum (Latin)
- Svenska (Swedish)
- Dansk (Danish)
- Suomi (Finnish)
- فارسی (Persian)
- ייִדיש (Yiddish)
- հայերեն (Armenian)
- Norsk (Norwegian)
- English (English)
Word of the Day
Would you like us to send you a FREE new word definition delivered to your inbox daily?
Citation
Use the citation below to add this definition to your bibliography:
Style:MLAChicagoAPA
"subcountability." Definitions.net. STANDS4 LLC, 2024. Web. 19 Apr. 2024. <https://www.definitions.net/definition/subcountability>.
Discuss these subcountability definitions with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In