Axiom of countable choice

The axiom of countable choice or axiom of denumerable choice, denoted ACω, is an axiom of set theory that states that every countable collection of non-empty sets must have a choice function. That is, given a function with domain such that is a non-empty set for every , there exists a function with domain such that for every .

This keyword could refer to multiple things. Here are some suggestions: