axiom of countable choice
Meanings
noun
- A weaker form of the axiom of choice that states that every countable collection of nonempty sets must have a choice function; equivalently, the statement that the direct product of a countable collection of nonempty sets is nonempty.
Word forms
Synonyms
Related words
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.