Talk:Dependent Choice for Finite Sets
Jump to navigation
Jump to search
Difference between this theorem and the Axiom of Dependent Choice
It's more than just left-total. Each element is related to at least one other element, but only to finitely many. The axiom of dependent choice allows elements to be related to infinitely many other elements. --Dfeuer (talk) 15:04, 27 May 2013 (UTC)
- Good call. --prime mover (talk) 15:12, 27 May 2013 (UTC)