Talk:Dependent Choice for Finite Sets

From ProofWiki
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)