Talk:Choice Function for Set does not imply Choice Function for Union of Set/Mistake

It might be the case that the phrase "choice function" means two different things in this problem. The first instance could refer to Choice Function, while the second refers to Choice Function on Power Set. It doesn't change the fact that the theorem is incorrect though; the same exact counterexample works, if we just require $A$ to be non-empty and apply the Principle of Finite Choice. --CircuitCraft (talk) 15:54, 13 April 2023 (UTC)