Assertion: countable choice | /r/HasProperty | ac ω
Facets:
Source sentences:
text: A still weaker example is the axiom of countable choice (AC ω or CC), which states that a choice function exists for any countable set of nonempty sets.
text: A weaker form of AC, the axiom of countable choice (AC ω ) states that every countable set of nonempty sets has a choice function.