axiom of countable choice

English dictionary entry

Meanings

noun
  1. 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

axiom of countable choice

Synonyms

axiom of denumerable choice

Related words

axiom of choice axiom of dependent choice
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.