This does not describe what is commonly called the "axiom of finite choice"

edit

This article describes a variant of the Axiom of choice in which each set in the collection is finite. This is called AC(fin) in Herrlich's book (the term "axiom of finite choice" is not used). However, the term "axiom of finite choice" is usually used as something similar to what Herrlich calls the "axiom of countable choice", i.e. where the indexing set is finite but each set in the collection may be infinite (e.g. on https://ncatlab.org/nlab/show/finite+choice). I think the page should either be renamed to "axiom of choice for finite sets", or the definition be revised. Varkora (talk) 08:41, 22 September 2023 (UTC)Reply